Transition_frontier (network_pool.Network_pool.Mocks.Transition

type table = int Transaction_snark_work.Statement.Table.t

val table_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> table

val sexp_of_table : table -> Ppx_sexp_conv_lib.Sexp.t

type diff = Extensions.Snark_pool_refcount.view

val diff_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> diff

val sexp_of_diff : diff -> Ppx_sexp_conv_lib.Sexp.t

type best_tip_diff = unit

module Breadcrumb : sig ... end

type t = {

refcount_table : table;

best_tip_table : Transaction_snark_work.Statement.Hash_set.t;

mutable ledger : Base_ledger.t;

diff_writer : diff Pipe_lib.Broadcast_pipe.Writer.t;

diff_reader : diff Pipe_lib.Broadcast_pipe.Reader.t;

}

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val add_statements : 
  int Transaction_snark_work.Statement.Table.t ->
  Transaction_snark_work.Statement.Table.key list ->
  unit

val create : 'a -> t

val best_tip : t -> Base_ledger.t

module Extensions : sig ... end

val snark_pool_refcount_pipe : t -> diff Pipe_lib.Broadcast_pipe.Reader.t

val best_tip_diff_pipe : 'a -> unit Pipe_lib.Broadcast_pipe.Reader.t

val refer_statements : 
  t ->
  Transaction_snark_work.Statement.Table.key list ->
  unit Async_kernel__Deferred.t

val remove_from_best_tip : 
  t ->
  Transaction_snark_work.Statement.Hash_set.elt list ->
  unit Async_kernel__Deferred.t