menu
z3 package
documentation
z3.dart
UnknownSort
buildSort method
buildSort method
dark_mode
light_mode
buildSort
method
@
override
Z3_sort
buildSort
(
Context
c
)
override
Implementation
@override Z3_sort buildSort(Context c) => _c._translateTo(c, this, _ast).cast();
z3 package
documentation
z3
UnknownSort
buildSort method
UnknownSort class