Checked.Shifted
module type S = Snarky_curves.Shifted_intf with type 'a checked := 'a Impl.Checked.t and type curve_var := t and type boolean_var := Impl.Boolean.var
type 'a m = (module S with type t = 'a)
val create : unit -> (module S) Impl.Checked.t