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 := mk; StorageCfg : Type := EngineCfg StorageLocalCfg; module storage_config_example; exStorageCfg : StorageCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "storage"; cfg := StorageLocalCfg.mk; }; end;