menu
z3 package
documentation
z3.dart
IntNumeral
toRat method
toRat method
dark_mode
light_mode
toRat
method
@
override
Rat
toRat
(
)
override
Implementation
@override Rat toRat() => Rat.fromBigInt(value);
z3 package
documentation
z3
IntNumeral
toRat method
IntNumeral class