module arch.node.engines.storage_config; import arch.node.engines.storage_messages open; import arch.node.types.basics open; import arch.node.types.engine open; import arch.node.types.identities open; type StorageLocalCfg := mkStorageLocalCfg; StorageCfg : Type := EngineCfg StorageLocalCfg; module storage_config_example; exStorageCfg : StorageCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "storage"; cfg := mkStorageLocalCfg; }; end;