Module big_is_equal

Source

Functions§

assign
Given ProperUints a and b with the same number of limbs, returns whether a == b.