Make.1-Inputsinclude Base_inputs_intf.Smodule 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 token_id := Token_id.t
and type account_id := Account_id.t
and type balance := Balance.tmodule Location : Location_intf.Smodule Kvdb : Intf.Key_value_database with type config := stringmodule Storage_locations : Intf.Storage_locations