Ledger_transfer (mina_ledger.Mina_ledger.Ledger

module type Base_ledger_intf =
  Merkle_ledger.Base_ledger_intf.S
    with type account := Mina_base.Account.t
     and 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

module Make
  (Source : Base_ledger_intf)
  (Dest : Base_ledger_intf with type Addr.t = Source.Addr.t) : 
  sig ... end

module From_sparse_ledger (Dest : Base_ledger_intf) : sig ... end