not

Use not to compute the boolean negation of a specified value.

Basic syntax

To compute the boolean negation of the specified value, use the following syntax:

(not value)

Arguments

Use the following argument to specify the boolean value for which you want to compute the negation using the not Pact function.

Argument	Type	Description
value	bool	Specifies the expression to evaluate that returns the boolean value to be negated.

Return value

The not function returns the boolean negation of the input value.

Examples

The following example demonstrates how to use of the not function in the Pact REPL:

pact> (not (> 1 2))
true

In this example, the expression (> 1 2) evaluates to false, and the not function negates this value, resulting in true.