Annotation Type SemiStrict
Annotation applied to a user-defined function that indicates that
the function always returns null if one or more of its arguments
are null but also may return null at other times.
Compare with Strict
:
- A strict function returns null if and only if it has a null argument
- A semi-strict function returns null if it has a null argument