Reference FP128Sort Structure Reference

FP128Sort

public struct FP128Sort : FloatingSort

A Quadruple-precision floating point sort


                    
                    
                    getSort(_:)

Returns a 128-bit FloatingPoint sort.

Swift

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