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