Batcher (network_pool.Network

module Snark_pool : sig ... end

type ('initial, 'partially_validated, 'result) t

val create : 
  ?how_to_add:[ `Insert | `Enqueue_back ] ->
  ?logger:Logger.t ->
  ?compare_init:( 'init -> 'init -> int ) ->
  ?weight:( 'init -> int ) ->
  ?max_weight_per_call:int ->
  ( [ `Init of 'init | `Partially_validated of 'partially_validated ] list ->
    [ `Valid of 'result
    | `Potentially_invalid of 'partially_validated
    | Verifier.invalid ]
      list
      Async_kernel.Deferred.Or_error.t ) ->
  ( 'init, 'partially_validated, 'result ) t

val verify : 
  ( 'input, 'partial, 'result ) t ->
  'input ->
  ( 'result, Verifier.invalid ) Core_kernel.Result.t
    Async_kernel.Deferred.Or_error.t

val compare_envelope : 
  _ Network_peer.Envelope.Incoming.t ->
  _ Network_peer.Envelope.Incoming.t ->
  int

module Transaction_pool : sig ... end