Module `Make.Type_msg`

A message

val construct : unit -> t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_msg: Create a message

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

Verify that the object is a valid record_msg object.

raises Invalid_argument: when the object is not a valid record_msg object.