Z3Real public extension Z3Real getSort(_:) Gets the statically-typed Z3Sort associated with RealSort from this Z3Real. Declaration Swift static func getSort(_ context: Z3Context) -> Z3Sort