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