menu
fixed_z3 package
documentation
z3.dart
Numeral
isNegative property
isNegative property
dark_mode
light_mode
isNegative
property
bool
get
isNegative
Implementation
bool get isNegative;
fixed_z3 package
documentation
z3
Numeral
isNegative property
Numeral class