Manuals/calci/NOTHING

NOTHING

Description

• This function return the result as nothing.
• Nothing means not at all.
• It can be used instead of null in code.
• NOTHING() returns an undefined value for use in parameters etc.

Example

NOTHING = undefined

See Also

• NOPE
• NULL
• NOTOK

References

• List of Main Z Functions

• Z3 home