menu
fixed_z3 package
documentation
z3.dart
Rat
half property
half property
dark_mode
light_mode
half
property
Rat
half
final
The half
Rat
.
Implementation
static final Rat half = Rat.fromInt(1, 2);
fixed_z3 package
documentation
z3
Rat
half property
Rat class