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 ShardCfg := mkShardCfg; module shard_config_example; shardCfg : EngineCfg ShardCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "shard"; cfg := mkShardCfg; }; end;