Snark_pool_diff (network_pool.Network_pool.Snark_pool

module Work = Transaction_snark_work.Statement

module Ledger_proof = Ledger_proof

module Work_info = Transaction_snark_work.Info

module Rejected : sig ... end

module Make
  (Transition_frontier : Core_kernel.T)
  (Pool : 
    Intf.Snark_resource_pool_intf
      with type transition_frontier := Transition_frontier.t) : 
  Intf.Snark_pool_diff_intf with type resource_pool := Pool.t