Any_ledger (mina_ledger.Mina_ledger.Ledger.Any

module Location = Location

type witness

The type of the witness for a base ledger exposed here so that it can * be easily accessed from outside this module

val sexp_of_witness : witness -> Ppx_sexp_conv_lib.Sexp.t

module type Base_intf =
  Merkle_ledger.Base_ledger_intf.S
    with module Addr = Location.Addr
    with module Location = Location
    with type key := Signature_lib.Public_key.Compressed.t
     and type token_id := Mina_base.Token_id.t
     and type token_id_set := Mina_base.Token_id.Set.t
     and type account_id := Mina_base.Account_id.t
     and type account_id_set := Mina_base.Account_id.Set.t
     and type hash := Mina_base.Ledger_hash.t
     and type root_hash := Mina_base.Ledger_hash.t
     and type account := Mina_base.Account.t

val cast : (module Base_intf with type t = 'a) -> 'a -> witness

module M : Base_intf with type t = witness