menu
fixed_z3 package
documentation
z3.dart
sortsEqual function
sortsEqual function
dark_mode
light_mode
sortsEqual
function
bool
sortsEqual
(
Sort
a
,
Sort
b
)
Check if two
Sort
s are equal.
Implementation
bool sortsEqual(Sort a, Sort b) => currentContext.sortsEqual(a, b);
fixed_z3 package
documentation
z3
sortsEqual function
z3 library