Make_checked.Shifted
module M : sig ... end
type t
val zero : t
val unshift_nonzero : t -> Inputs.F.t * Inputs.F.t
val add : t -> (Inputs.F.t * Inputs.F.t) -> t
val if_ : Inputs.Impl.Boolean.var -> then_:t -> else_:t -> t