Inner_curve.Shifted
module M : sig ... end
type inputs := t
type t
val zero : t
val unshift_nonzero : t -> inputs
val add : t -> inputs -> t
val if_ : Inputs.Impl.Boolean.var -> then_:t -> else_:t -> t