module arch.node.engines.decryption_config; import prelude open; import arch.node.engines.decryption_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.system.identity.identity as Identity; import arch.node.types.identities open; type DecryptionCfg := mk@{ decryptor : Identity.Decryptor Backend Plaintext Ciphertext; backend : Backend; }; module decryption_config_example; decryptionCfg : EngineCfg DecryptionCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "decryption"; cfg := DecryptionCfg.mk@{ decryptor := Identity.Decryptor.mkDecryptor@{ decrypt := \{_ x := some x}; }; backend := Backend.LocalMemory; }; }; end;