menu
z3 package
documentation
z3.dart
Context
sortsEqual method
sortsEqual method
dark_mode
light_mode
sortsEqual
method
bool
sortsEqual
(
Sort
a
,
Sort
b
)
Implementation
bool sortsEqual(Sort a, Sort b) { return _z3.is_eq_sort(_createSort(a), _createSort(b)); }
z3 package
documentation
z3
Context
sortsEqual method
Context class