writer
6,694
edits
Changes
Created page with "<div style="font-size:30px">'''NOPE'''</div><br/> ==Description== *This function return the result as false. *It can be used instead of false in code. *Nope is indicating a n..."
<div style="font-size:30px">'''NOPE'''</div><br/>
==Description==
*This function return the result as false.
*It can be used instead of false in code.
*Nope is indicating a negative reply,No.
==Example==
# NOPE = false
==See Also==
*[[Manuals/calci/NOTOK | NOTOK ]]
*[[Manuals/calci/NULL | NULL ]]
*[[Manuals/calci/ISFALSE | ISFALSE ]]
==References==
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
==Description==
*This function return the result as false.
*It can be used instead of false in code.
*Nope is indicating a negative reply,No.
==Example==
# NOPE = false
==See Also==
*[[Manuals/calci/NOTOK | NOTOK ]]
*[[Manuals/calci/NULL | NULL ]]
*[[Manuals/calci/ISFALSE | ISFALSE ]]
==References==
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]