Module big_is_equal

Module big_is_equal 

Source

Functionsยง

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