;'<<SPEC'
<!--
Copyright (c) 2012-2024, Chris Pressey, Cat's Eye Technologies.
This file is distributed under a 2-clause BSD license. See LICENSES/ dir.
SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Robin
-->
### `not` ###
-> Tests for functionality "Evaluate Robin Expression (with Boolean)"
`not` evaluates its single argument to a boolean, then evaluates to
the logical negation of that boolean.
| (not #t)
= #f
| (not #f)
= #t
`not` expects exactly one argument.
| (not)
? abort (illegal-arguments
| (not #t #f)
? abort (illegal-arguments
`not` expects its single argument to be a boolean.
| (not 33)
? abort (expected-boolean 33)
'<<SPEC'
(define not (fun (a)
(if a #f #t)))