Module Fake_network

module Sync_ledger = Mina_ledger.Sync_ledger
module type CONTEXT = sig ... end
type 'n num_peers = 'n Gadt_lib.Peano.gt_1
type peer_state = {
frontier : Transition_frontier.t;
consensus_local_state : Consensus.Data.Local_state.t;
get_staged_ledger_aux_and_pending_coinbases_at_hash : Pasta_bindings.Fp.t Network_peer.Envelope.Incoming.t -> (Staged_ledger.Scan_state.t * Pasta_bindings.Fp.t * Mina_base.Pending_coinbase.t * Mina_state.Protocol_state.value list) option Async.Deferred.t;
get_some_initial_peers : unit Network_peer.Envelope.Incoming.t -> Network_peer.Peer.t list Async.Deferred.t;
answer_sync_ledger_query : (Pasta_bindings.Fp.t * Sync_ledger.Query.t) Network_peer.Envelope.Incoming.t -> ( Sync_ledger.Answer.t, Core.Error.t ) Core.result Async.Deferred.t;
get_ancestry : ( Consensus.Data.Consensus_state.Value.t, Pasta_bindings.Fp.t ) With_hash.t Network_peer.Envelope.Incoming.t -> ( Mina_block.t, Mina_base.State_body_hash.t list * Mina_block.t ) Proof_carrying_data.t option Async.Deferred.t;
get_best_tip : unit Network_peer.Envelope.Incoming.t -> ( Mina_block.t, Pasta_bindings.Fp.t list * Mina_block.t ) Proof_carrying_data.t option Async.Deferred.t;
get_node_status : unit Network_peer.Envelope.Incoming.t -> ( Mina_networking.Rpcs.Get_node_status.Node_status.t, Core.Error.t ) Core.result Async.Deferred.t;
get_transition_knowledge : unit Network_peer.Envelope.Incoming.t -> Pasta_bindings.Fp.t list Async.Deferred.t;
get_transition_chain_proof : Pasta_bindings.Fp.t Network_peer.Envelope.Incoming.t -> (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t list) option Async.Deferred.t;
get_transition_chain : Pasta_bindings.Fp.t list Network_peer.Envelope.Incoming.t -> Mina_block.t list option Async.Deferred.t;
}
type peer_network = {
peer : Network_peer.Peer.t;
state : peer_state;
network : Mina_networking.t;
}
type nonrec 'n t = {
fake_gossip_network : Mina_networking.Gossip_net.Fake.network;
peer_networks : ( peer_network, 'n ) Gadt_lib.Vect.t;
} constraint 'n = _ num_peers
module Generator : sig ... end