Snarky_curves.Shifted_intf
type _ checked
type boolean_var
type curve_var
type t
val zero : t
val add : t -> curve_var -> t checked
val unshift_nonzero : t -> curve_var checked
val if_ : boolean_var -> then_:t -> else_:t -> t checked
module Assert : sig ... end