module arch.node.engines.local_key_value_storage_config; import prelude open; import arch.node.engines.local_key_value_storage_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type LocalKVStorageLocalCfg := mk; LocalKVStorageCfg : Type := EngineCfg LocalKVStorageLocalCfg; module local_key_value_storage_config_example; localKVStorageCfg : LocalKVStorageCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "key value storage"; cfg := LocalKVStorageLocalCfg.mk; }; end;