FP128Sort public struct FP128Sort : FloatingSort A Quadruple-precision floating point sort getSort(_:) Returns a 128-bit FloatingPoint sort. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort