CharSort public struct CharSort : ArithmeticSort A unicode character sort. getSort(_:) Returns the unicode character sort. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort