Skip to main content
Module fraction
binius_
ip_
prover
0.1.0
Module fraction
Module Items
Structs
In binius_
ip_
prover::
fracaddcheck
binius_ip_prover
::
fracaddcheck
Module
fraction
Copy item path
Source
Expand description
The numerator/denominator pair a fractional-addition instance is built from.
Structs
ยง
Fraction
A numerator paired with its denominator.