menu
z3 package
documentation
z3.dart
Context
getSort method
getSort method
dark_mode
light_mode
getSort
method
Sort
getSort
(
Expr
value
)
Implementation
Sort getSort(Expr value) { return _getSort(_z3.get_sort(_createAST(value))); }
z3 package
documentation
z3
Context
getSort method
Context class