module arch.node.engines.shard_config; import prelude open; import arch.node.engines.shard_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type ShardLocalCfg := mk; ShardCfg : Type := EngineCfg ShardLocalCfg; module ; : ShardCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "shard"; cfg := ShardLocalCfg.mk; }; end;