SMT uninterpreted function types
ACL2 type functions | Z3 uninterpreted function type declarations |
---|---|
realp | _SMT_.RealSort() |
rationalp | _SMT_.RealSort() |
real/rationalp | _SMT_.RealSort() |
integerp | _SMT_.IntSort() |
booleanp | _SMT_.BoolSort() |
symbolp | Symbol_z3.z3Sym |