For_tests (transition_frontier.Transition_frontier.For

val equal : t -> t -> bool

val load_with_max_length : 
  context:(module CONTEXT) ->
  max_length:int ->
  ?retry_with_fresh_db:bool ->
  verifier:Verifier.t ->
  consensus_local_state:Consensus.Data.Local_state.t ->
  persistent_root:Persistent_root.t ->
  persistent_frontier:Persistent_frontier.t ->
  catchup_mode:[ `Normal | `Super ] ->
  unit ->
  ( t,
    [ `Failure of string
    | `Bootstrap_required
    | `Persistent_frontier_malformed
    | `Snarked_ledger_mismatch ] )
    Async_kernel.Deferred.Result.t

val gen_genesis_breadcrumb : 
  ?logger:Logger.t ->
  verifier:Verifier.t ->
  precomputed_values:Precomputed_values.t ->
  unit ->
  Breadcrumb.t Core_kernel.Quickcheck.Generator.t

val gen_persistence : 
  ?logger:Logger.t ->
  verifier:Verifier.t ->
  precomputed_values:Precomputed_values.t ->
  unit ->
  (Persistent_root.t * Persistent_frontier.t)
    Core_kernel.Quickcheck.Generator.t

val gen : 
  ?logger:Logger.t ->
  verifier:Verifier.t ->
  ?trust_system:Trust_system.t ->
  ?consensus_local_state:Consensus.Data.Local_state.t ->
  precomputed_values:Precomputed_values.t ->
  ?root_ledger_and_accounts:
    (Mina_ledger.Ledger.t
     * (Signature_lib.Private_key.t option * Mina_base.Account.t) list) ->
  ?gen_root_breadcrumb:
    (Breadcrumb.t
     * Mina_state.Protocol_state.value Mina_base.State_hash.With_state_hashes.t
         list)
      Core_kernel.Quickcheck.Generator.t ->
  max_length:int ->
  size:int ->
  ?use_super_catchup:bool ->
  unit ->
  t Core_kernel.Quickcheck.Generator.t

val gen_with_branch : 
  ?logger:Logger.t ->
  verifier:Verifier.t ->
  ?trust_system:Trust_system.t ->
  ?consensus_local_state:Consensus.Data.Local_state.t ->
  precomputed_values:Precomputed_values.t ->
  ?root_ledger_and_accounts:
    (Mina_ledger.Ledger.t
     * (Signature_lib.Private_key.t option * Mina_base.Account.t) list) ->
  ?gen_root_breadcrumb:
    (Breadcrumb.t
     * Mina_state.Protocol_state.value Mina_base.State_hash.With_state_hashes.t
         list)
      Core_kernel.Quickcheck.Generator.t ->
  ?get_branch_root:( t -> Breadcrumb.t ) ->
  max_length:int ->
  frontier_size:int ->
  branch_size:int ->
  ?use_super_catchup:bool ->
  unit ->
  (t * Breadcrumb.t list) Core_kernel.Quickcheck.Generator.t