Pickles (mina_wire_types.Mina_wire

module Types : sig ... end

module Concrete_ : sig ... end

This module contains types that are normally hidden from the Pickles interface, but that we need to expose in order for the Pickles implementation to add type equalities to them, since they are later used to construct other types that are public.

module M : Types.S

module type Concrete =
  Types.S
    with type Side_loaded.Verification_key.V2.t =
           Concrete_.Side_loaded.Verification_key.V2.t
     and type Backend.Tick.Field.V1.t = Pasta_bindings.Fp.t
     and type ('a, 'b) Proof.t = ( 'a, 'b ) Concrete_.Proof.t

module type Local_sig = Utils.Signature(Types).S

module Make
  (Signature : Local_sig)
  (_ : functor (A : Concrete) -> Signature(A).S) : 
  Signature(M).S

include Types.S
  with module Proof = M.Proof
   and module Side_loaded = M.Side_loaded
   and module Backend = M.Backend

module Proof = M.Proof

module Side_loaded = M.Side_loaded

module Backend = M.Backend