Inner_curve.Scalar
type t = Inputs.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t
val of_field : Inputs.Impl.Field.t -> t
val to_field : t -> Inputs.Impl.Field.t