Shifted (snarky_curves.Snarky_curves.Make_weierstrass

module type S =
  Shifted_intf
    with type 'a checked := 'a F.Impl.Checked.t
     and type curve_var := t
     and type boolean_var := F.Impl.Boolean.var

type 'a m = (module S with type t = 'a)

val create : unit -> (module S) F.Impl.Checked.t