Make.1-Inputsmodule Token_id : Intf.Token_idmodule Account_id :
Intf.Account_id with type key := Key.t and type token_id := Token_id.tmodule Balance : Intf.Balancemodule Account :
Intf.Account
with type account_id := Account_id.t
and type balance := Balance.tmodule Location : Location_intf.Smodule Ledger :
Base_ledger_intf.S
with module Addr = Location.Addr
and module Location = Location
and type account_id := Account_id.t
and type account_id_set := Account_id.Set.t
and type hash := Hash.t
and type root_hash := Hash.t
and type account := Account.t