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;

Storage Configuration¶

Overview¶

The static configuration of the engine.

Local Configuration¶

StorageLocalCfg¶

The type for engine-specific local configuration.

type StorageLocalCfg := mk;

Engine Configuration¶

StorageCfg¶

StorageCfg : Type := EngineCfg StorageLocalCfg;

Instantiation¶

exStorageCfg : StorageCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "storage";
    cfg := StorageLocalCfg.mk;
  };