Backend_intf (snarkette.Snarkette.Groth16.Backend

module N : Nat_intf.S

module Fq : Fields.Fp_intf with module Nat := N

module Fqe : Fields.Extension_intf with type base = Fq.t

module G1 : sig ... end

module G2 : sig ... end

module Fq_target : sig ... end

module Pairing : 
  Pairing.S
    with module G1 := G1
     and module G2 := G2
     and module Fq_target := Fq_target