Provides a branch statement for Cont. cont will be evaluated if cond is false, otherwise it will be an empty computation.
Cont
cont
cond
false
The condition as branch statement.
The composed computation.
Generated using TypeDoc
Provides a branch statement for
Cont
.cont
will be evaluated ifcond
isfalse
, otherwise it will be an empty computation.