Reference CharSort Structure Reference

CharSort

public struct CharSort : ArithmeticSort

A unicode character sort.


                    
                    
                    getSort(_:)

Returns the unicode character sort.

Swift

public static func getSort(_ context: Z3Context) -> Z3Sort