menu
z3 package
documentation
z3.dart
getSort<A extends Sort> function
getSort<A extends Sort> function
dark_mode
light_mode
getSort<
A extends Sort
>
function
A
getSort
<
A extends Sort
>(
Expr
value
)
Implementation
A getSort<A extends Sort>(Expr value) => currentContext.getSort(value) as A;
z3 package
documentation
z3
getSort<A extends Sort> function
z3 library