Float80 extension Float80: FloatingSort getSort(_:) Returns an 80-bit FloatingPoint sort. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort