module arch.node.engines.decryption_messages; import prelude open; import arch.node.types.identities open; type RequestDecryption := mkRequestDecryption@{ data : Ciphertext; }; type ReplyDecryption := mkReplyDecryption@{ data : Plaintext; err : Option String; }; type DecryptionMsg := | MsgDecryptionRequest RequestDecryption | MsgDecryptionReply ReplyDecryption;