Provides an assertion statement for Cont. It will returns an empty computation if cond is true, otherwise it will occur an exception.
Cont
cond
The condition as branch statement.
The assertion computation.
Provides an assertion statement for
Cont. It will returns an empty computation ifcondis true, otherwise it will occur an exception.