To make an assert which terminates some larger unit of computation
like a transaction, vat, or process, call makeAssert with a Raise
callback, where that callback actually performs that larger termination.
If possible, the callback should also report its reason parameter as
the alleged reason for the termination.
To make an
assertwhich terminates some larger unit of computation like a transaction, vat, or process, callmakeAssertwith aRaisecallback, where that callback actually performs that larger termination. If possible, the callback should also report itsreasonparameter as the alleged reason for the termination.