Reference Double Extension Reference

Double

extension Double: FloatingSort


                    
                    
                    getSort(_:)

Returns a 64-bit FloatingPoint sort.

Swift

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