Module Checked.Shifted

module type S = Snarky_curves.Shifted_intf with type 'a checked := 'a Impl.Checked.t and type boolean_var := Impl.Boolean.var and type curve_var := var
type 'a m = (module S with type t = 'a)