Inputs_intf (syncable_ledger.Syncable_ledger.Inputs

module Addr : module type of Merkle_address

module Account : sig ... end

module Hash : Merkle_ledger.Intf.Hash with type account := Account.t

module Root_hash : sig ... end

module MT : 
  Merkle_ledger.Syncable_intf.S
    with type hash := Hash.t
     and type root_hash := Root_hash.t
     and type addr := Addr.t
     and type account := Account.t

val account_subtree_height : int