Manuals/calci/NOTOK

NOTOK

Description

• This constant return as false.
• It can be used instead of false in code.

Example

1. NOTOK = false

See Also

• NOPE
• NULL
• ISFALSE

References

• List of Main Z Functions

• Z3 home