Manuals/calci/UNDEFINED

UNDEFINED

Description

• This constant return as Undefined.
• It can be used instead of null in code.
• Undefined means not clear or Undefined.

Example

1. UNDEFINED = undefined

See Also

• NOPE
• NOTOK
• SMILE

References

• List of Main Z Functions

• Z3 home