Reference Float80 Extension Reference

Float80

extension Float80: FloatingSort


                    
                    
                    getSort(_:)

Returns an 80-bit FloatingPoint sort.

Swift

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