Bigint_scalar.Checked
val equal : Impl.Bitstring_checked.t -> Impl.Bitstring_checked.t -> Impl.Boolean.var Impl.Checked.t
module Assert : sig ... end