Network_pool.Transaction_poolA pool of transactions that can be included in future blocks. Combined with the Network_pool module, this handles storing and gossiping the correct transactions (user commands) and providing them to the block producer code.
module type Transition_frontier_intf = sig ... endmodule Diff_versioned : sig ... endtype Structured_log_events.t += | Rejecting_command_for_reason of {
} |
val rejecting_command_for_reason_structured_events_id :
Structured_log_events.idval rejecting_command_for_reason_structured_events_repr :
Structured_log_events.reprmodule type S = sig ... endmodule Make0
(Base_ledger : Intf.Base_ledger_intf)
(Staged_ledger : sig ... end)
(Transition_frontier :
Transition_frontier_intf with type staged_ledger := Staged_ledger.t) :
sig ... endmodule Make
(Staged_ledger : sig ... end)
(Transition_frontier :
Transition_frontier_intf with type staged_ledger := Staged_ledger.t) :
S with type transition_frontier := Transition_frontier.tmodule Resource_pool : sig ... endmodule Local_sink : sig ... endmodule Remote_sink : sig ... endmodule Broadcast_callback : sig ... endval create :
config:Resource_pool.Config.t ->
constraint_constants:Genesis_constants.Constraint_constants.t ->
consensus_constants:Consensus.Constants.t ->
time_controller:Block_time.Controller.t ->
frontier_broadcast_pipe:
Transition_frontier.t Core_kernel.Option.t Pipe_lib.Broadcast_pipe.Reader.t ->
logger:Logger.t ->
log_gossip_heard:bool ->
on_remote_push:( unit -> unit Async_kernel.Deferred.t ) ->
t * Remote_sink.t * Local_sink.tval of_resource_pool_and_diffs :
Resource_pool.t ->
logger:Logger.t ->
constraint_constants:Genesis_constants.Constraint_constants.t ->
tf_diffs:Resource_pool.transition_frontier_diff Pipe_lib.Strict_pipe.Reader.t ->
log_gossip_heard:bool ->
on_remote_push:( unit -> unit Async_kernel.Deferred.t ) ->
t * Remote_sink.t * Local_sink.tval resource_pool : t -> Resource_pool.tval broadcasts : t -> Diff_versioned.t Pipe_lib.Linear_pipe.Reader.tval create_rate_limiter : unit -> Rate_limiter.tval apply_and_broadcast :
t ->
Diff_versioned.verified Network_peer.Envelope.Incoming.t ->
Broadcast_callback.t ->
unit Async_kernel.Deferred.t