Pairing (snarkette.Snarkette.Pairing)

module Extended_projective : sig ... end

module type Simple_elliptic_curve_intf = sig ... end

module type S = sig ... end

module Make
  (Fq : Fields.Fp_intf)
  (Fq_twist : Fields.Extension_intf with type base = Fq.t)
  (Fq_target : sig ... end)
  (G1 : Simple_elliptic_curve_intf with type base := Fq.t)
  (G2 : sig ... end)
  (Info : sig ... end) : 
  S with module G1 := G1 and module G2 := G2 and module Fq_target := Fq_target