Any_ledger (mina_ledger.Mina_ledger.Sync_ledger.Any

type 'a t

val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t

val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t

type diff

type index = int

module Responder : sig ... end

val create : 
  Mina_ledger__Ledger.Any_ledger.witness ->
  logger:Logger.t ->
  trust_system:Trust_system.t ->
  'a t

val answer_writer : 
  'a t ->
  (Snark_params.Tick.Field.t
   * Mina_ledger__Ledger.Location.Addr.t Syncable_ledger.Query.t
   * ( Snark_params.Tick.Field.t,
       ( Mina_base_import.Public_key.Compressed.Stable.V1.t,
         Mina_base.Token_id.Stable.V2.t,
         Mina_base.Token_permissions.Stable.V1.t,
         string,
         Currency.Balance.Stable.V1.t,
         Mina_numbers.Account_nonce.Stable.V1.t,
         Mina_base.Receipt.Chain_hash.Stable.V1.t,
         Mina_base_import.Public_key.Compressed.Stable.V1.t option,
         Mina_base.State_hash.Stable.V1.t,
         Mina_base.Account_timing.Stable.V1.t,
         Mina_base.Permissions.Stable.V2.t,
         Mina_base.Zkapp_account.Stable.V2.t option )
         Mina_base__Account.Poly.Stable.V2.t )
       Syncable_ledger.Answer.t
       Network_peer.Envelope.Incoming.t)
    Pipe_lib.Linear_pipe.Writer.t

val query_reader : 
  'a t ->
  (Snark_params.Tick.Field.t
   * Mina_ledger__Ledger.Location.Addr.t Syncable_ledger.Query.t)
    Pipe_lib.Linear_pipe.Reader.t

val destroy : 'a t -> unit

val new_goal : 
  'a t ->
  Snark_params.Tick.Field.t ->
  data:'a ->
  equal:( 'a -> 'a -> bool ) ->
  [ `New | `Repeat | `Update_data ]

val peek_valid_tree : 'a t -> Mina_ledger__Ledger.Any_ledger.witness option

val valid_tree : 
  'a t ->
  (Mina_ledger__Ledger.Any_ledger.witness * 'a) Async_kernel.Deferred.t

val wait_until_valid : 
  'a t ->
  Snark_params.Tick.Field.t ->
  [ `Ok of Mina_ledger__Ledger.Any_ledger.witness
  | `Target_changed of
    Snark_params.Tick.Field.t option * Snark_params.Tick.Field.t ]
    Async_kernel.Deferred.t

val fetch : 
  'a t ->
  Snark_params.Tick.Field.t ->
  data:'a ->
  equal:( 'a -> 'a -> bool ) ->
  [ `Ok of Mina_ledger__Ledger.Any_ledger.witness
  | `Target_changed of
    Snark_params.Tick.Field.t option * Snark_params.Tick.Field.t ]
    Async_kernel.Deferred.t

val apply_or_queue_diff : 'a t -> diff -> unit

val merkle_path_at_addr : 
  'a t ->
  Mina_ledger__Ledger.Location.Addr.t ->
  [ `Left of Mina_base.Ledger_hash.t | `Right of Mina_base.Ledger_hash.t ] list
    Core_kernel.Or_error.t

val get_account_at_addr : 
  'a t ->
  Mina_ledger__Ledger.Location.Addr.t ->
  ( Mina_base_import.Public_key.Compressed.Stable.V1.t,
    Mina_base.Token_id.Stable.V2.t,
    Mina_base.Token_permissions.Stable.V1.t,
    string,
    Currency.Balance.Stable.V1.t,
    Mina_numbers.Account_nonce.Stable.V1.t,
    Mina_base.Receipt.Chain_hash.Stable.V1.t,
    Mina_base_import.Public_key.Compressed.Stable.V1.t option,
    Mina_base.State_hash.Stable.V1.t,
    Mina_base.Account_timing.Stable.V1.t,
    Mina_base.Permissions.Stable.V2.t,
    Mina_base.Zkapp_account.Stable.V2.t option )
    Mina_base__Account.Poly.Stable.V2.t
    Core_kernel.Or_error.t