test absent(var $T: x)

Test if x is absent (always returns false)

More…

test absent(opt $T: x)

Test if x is absent

More…

test occurs(var $T: x)

Test if x is not absent (always returns true)

More…

test occurs(opt $T: x)

Test if x is not absent