AnyFPSort
public struct AnyFPSort : NumericalSort
A FP sort to type-erase Z3Ast<T>
instances to.
Note: You should not pass this float sort to methods that create new AST
based on sort, and doing so will result in a runtime error when trying to
call getSort
.
-
Declaration
Swift
public static var isConcrete: Bool { get }