Support of else-less if-then
There is no difficulty to have if-then
without else
. It is useful for failures.
if p then failwith "error"
There is no difficulty to have if-then
without else
. It is useful for failures.
if p then failwith "error"