Catchup_hash_tree (transition_frontier.Transition_frontier.Catchup_hash

module Catchup_job_id : sig ... end

module Node : sig ... end

module L : sig ... end

module State_hash_table : sig ... end

module State_hash_hash_set : sig ... end

module State_hash_set : sig ... end

type t = {

nodes : Node.t State_hash_table.t;

tips : State_hash_hash_set.t;

children : State_hash_set.t State_hash_table.t;

mutable root : Mina_base.State_hash.t;

logger : L.t;

}

val to_yojson : t -> Yojson.Safe.t

val _ : t -> Yojson.Safe.t

val max_catchup_chain_length : t -> Core_kernel.Int.t

val create : root:Frontier_base.Breadcrumb.t -> t

val check_for_parent : 
  t ->
  Mina_base.State_hash.t ->
  parent:Mina_base.State_hash.Table.key Core_kernel.Hashtbl.key ->
  check_has_breadcrumb:bool ->
  unit

val add_child : 
  t ->
  Mina_base.State_hash.Set.Elt.t ->
  parent:Mina_base.State_hash.Table.key Core_kernel.Hashtbl.key ->
  unit

val add : 
  t ->
  Mina_base.State_hash.Table.key Core_kernel.Hashtbl.key ->
  parent:Mina_base.State_hash.Table.key Core_kernel.Hashtbl.key ->
  job:Catchup_job_id.Hash_set.elt ->
  unit

val breadcrumb_added : t -> Frontier_base.Breadcrumb.t -> unit

val remove_node : t -> Mina_base.State_hash.Hash_set.elt -> unit

val prune : t -> unit

val catchup_failed : t -> Catchup_job_id.Hash_set.elt -> unit

val apply_diffs : t -> Frontier_base.Diff.Full.E.t list -> unit