Full_catchup_tree (transition_frontier.Transition_frontier.Full_catchup

module Attempt_history : sig ... end

module Downloader_job : sig ... end

module Node : sig ... end

val add_state : 
  ( Node.State.Enum.t, Mina_base.State_hash.Set.t ) Core.Hashtbl.t ->
  Node.t ->
  unit

val remove_state : 
  ( Node.State.Enum.t, Mina_base.State_hash.Set.t ) Core.Hashtbl.t ->
  Node.t ->
  unit

type t = {

nodes : Node.t Mina_base.State_hash.Table.t;

states : Mina_base.State_hash.Set.t Node.State.Enum.Table.t;

logger : Logger.t;

}

val tear_down : t -> unit

val set_state : t -> Node.t -> Node.State.t -> unit

val finish : t -> Node.t -> ( 'a, 'b ) Core.Result.t -> unit

val to_yojson : t -> Yojson.Safe.t

type job_states = {

finished : int;

failed : int;

to_download : int;

to_initial_validate : int;

wait_for_parent : int;

to_verify : int;

to_build_breadcrumb : int;

}

val job_states_to_yojson : job_states -> Yojson.Safe.t

val _ : job_states -> Yojson.Safe.t

val to_node_status_report : t -> job_states

val max_catchup_chain_length : t -> Core.Int.t

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

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

val remove_node' : t -> Node.t -> unit

val remove_node : t -> Mina_base.State_hash.Table.key Core.Hashtbl.key -> unit

val prune : t -> root_hash:Mina_base.State_hash.t -> unit

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

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