Up – snarky_curves » Snarky_curves » Make_weierstrass_checked » 1-F » Impl » Bitstring_checked » Assert

Module `Bitstring_checked.Assert`

val equal : t -> t -> unit Checked.t