Module Make.Type_them

A session tracking the other party in a conversation

val construct : unit -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them

Create a record of a session with another party

val xassert : t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them

Verify that the object is a valid record_them object.

raises Invalid_argument

when the object is not a valid record_them object.