For_tests (transition_frontier_full_frontier.Full_frontier.For

val equal : t -> t -> bool

val find_protocol_state_exn : 
  t ->
  Mina_base.State_hash.t ->
  Mina_state.Protocol_state.value

val gen_breadcrumb : 
  verifier:Verifier.t ->
  ?send_to_random_pk:bool ->
  unit ->
  ( Frontier_base.Breadcrumb.t ->
    Frontier_base.Breadcrumb.t Async_kernel.Deferred.t )
    Base_quickcheck.Generator.t

val gen_breadcrumb_seq : 
  verifier:Verifier.t ->
  int ->
  ( Frontier_base.Breadcrumb.t ->
    Frontier_base.Breadcrumb.t list Async_kernel.Deferred.t )
    Base_quickcheck.Generator.t

val create_frontier : unit -> t

val clean_up_persistent_root : frontier:t -> unit

val verifier : unit -> Verifier.t

val max_length : int