AnyBitVectorSort
public struct AnyBitVectorSort : NumericalSort
A BitVector sort to type-erase Z3Ast<T>
instances to.
Note: You should not pass this bit vector 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 }