Proof (pickles.Pickles.Proof)

type ('a, 'b) t = ( 'a, 'b ) Mina_wire_types.Pickles.Proof.t

val dummy : 
  'w Pickles_types.Nat.t ->
  'm Pickles_types.Nat.t ->
  _ Pickles_types.Nat.t ->
  domain_log2:int ->
  ( 'w, 'm ) t

module Make
  (W : Pickles_types.Nat.Intf)
  (MLMB : Pickles_types.Nat.Intf) : 
  sig ... end

module Proofs_verified_2 : sig ... end