Module `Make.RATCHET`

Double Ratchet algorithm

val deriveSendKeys : t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them -> t -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_ratchetsendkeys
val deriveRecvKeys : t -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them -> t -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_ratchetrecvkeys
val tryDecrypt : t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_msg -> t_aes_decrypted