Manuals/calci/NULL

NULL

Description

• This constant return as null.
• It can be used instead of null in code.
• Null means having no value.
• In other words null is zero.

Example

1. NULL = null

See Also

• NOPE
• NOTOK
• ISFALSE

References

• List of Main Z Functions

• Z3 home