module arch.node.engines.signs_for_config; import prelude open; import arch.node.engines.signs_for_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type SignsForLocalCfg := mk; SignsForCfg : Type := EngineCfg SignsForLocalCfg; module signs_for_config_example; signsForCfg : SignsForCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "signs for"; cfg := SignsForLocalCfg.mk; }; end;