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.