module arch.node.engines.identity_management_config; import prelude open; import arch.node.engines.identity_management_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type IdentityManagementLocalCfg := mk; IdentityManagementCfg : Type := EngineCfg IdentityManagementLocalCfg; module identity_management_config_example; identityManagementCfg : IdentityManagementCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "identity management"; cfg := IdentityManagementLocalCfg.mk; }; end;