Network_pool.Network_pool_basemodule Make
(Transition_frontier : sig ... end)
(Resource_pool :
Intf.Resource_pool_intf
with type transition_frontier := Transition_frontier.t) :
Intf.Network_pool_base_intf
with type resource_pool := Resource_pool.t
and type resource_pool_diff := Resource_pool.Diff.t
and type resource_pool_diff_verified := Resource_pool.Diff.verified
and type transition_frontier := Transition_frontier.t
and type transition_frontier_diff :=
Resource_pool.transition_frontier_diff
and type config := Resource_pool.Config.t
and type rejected_diff := Resource_pool.Diff.rejected