package dirsp-exchange-kbb2017

  1. Overview
  2. Docs

The updates to your record of the other party that should be persisted after receiving a message

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

Create a recvoutput object

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

Verify that the object is a valid recvoutput object.

  • raises Invalid_argument

    when the object is not a valid recvoutput object.