Snarky_curves (snarky_curves.Snarky

module Bignum_bigint = Bigint

module type Params_intf = sig ... end

module type Scalar_intf = sig ... end

module type Shifted_intf = sig ... end

module type Weierstrass_checked_intf = sig ... end

module Make_weierstrass_checked
  (F : Snarky_field_extensions.Intf.S)
  (Scalar : sig ... end)
  (Curve : sig ... end)
  (Params : Params_intf with type field := F.Unchecked.t)
  (Override : sig ... end) : 
  Weierstrass_checked_intf
    with module Impl := F.Impl
     and type unchecked := Curve.t
     and type t = F.t * F.t