Make_inner_curve_scalar.Checked
val equal : Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t -> Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t -> Impl.Boolean.var Impl.Checked.t
val to_bits : 'a -> 'a
module Assert : sig ... end