test absent(var $T: x)
Test if x is absent (always returns false)
More…
test absent(opt $T: x)
Test if x is absent
test occurs(var $T: x)
Test if x is not absent (always returns true)
test occurs(opt $T: x)
Test if x is not absent