currently a part of a signature can be marked, optional. We need a bit of expresivity to allow for things like logical OR so that for example the signature can tell the caller to expect either some semantic result or a NULL_SYMBOL or and error type, or something.
currently a part of a signature can be marked, optional. We need a bit of expresivity to allow for things like logical OR so that for example the signature can tell the caller to expect either some semantic result or a NULL_SYMBOL or and error type, or something.