menu
fixed_z3 package
documentation
z3.dart
Rat
n property
n property
dark_mode
light_mode
n
property
BigInt
n
final
The numerator of the fraction.
Implementation
final BigInt n;
fixed_z3 package
documentation
z3
Rat
n property
Rat class