Up – snarky_curve » Snarky_curve » Make_checked » 1-Inputs » Impl » Bitstring_checked » Assert

Module `Bitstring_checked.Assert`

val equal : t -> t -> unit