menu
z3 package
documentation
z3.dart
ratFrom function
ratFrom function
dark_mode
light_mode
ratFrom
function
RatNumeral
ratFrom
(
int
n
,
int
d
)
Implementation
RatNumeral ratFrom(int n, int d) => RatNumeral(Rat.fromInts(n, d));
z3 package
documentation
z3
ratFrom function
z3 library