Blockchain_snark_state.Makemodule T : sig ... endmodule Proof :
Pickles.Proof_intf
with type t =
( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n ) Pickles.Proof.t
and type statement = Mina_state.Protocol_state.Value.tval tag : tagval cache_handle : Pickles.Cache_handle.tval step :
Witness.t ->
( Mina_state.Protocol_state.Value.t
* (Transaction_snark.Statement.With_sok.t * unit),
Pickles_types.Nat.N2.n * (Pickles_types.Nat.N2.n * unit),
Pickles_types.Nat.N1.n * (Pickles_types.Nat.N5.n * unit),
Mina_state.Protocol_state.Value.t,
(unit * unit * Proof.t) Async.Deferred.t )
Pickles.Prover.t