Manuals/calci/OK

OK()

Description

• OK() function can be used to get the logical value TRUE.
• It requires no input argument. You can simply enter this function and it will return TRUE.
• OK() can be used in integration with other function for evaluation.

Examples

1. OK = true

Related Videos

TRUE function

See Also

• NOK
• FALSE

References

• Truth value

• List of Main Z Functions

• Z3 home