Reference FP16Sort Structure Reference

FP16Sort

public struct FP16Sort : FloatingSort

A half precision floating point sort


                    
                    
                    getSort(_:)

Returns a 16-bit FloatingPoint sort.

Swift

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