Syntax
assume
(rapid assume)
Assumptions compatible with SRFI 145.
Syntax
(assume <obj> <message> ...)
Expression that evaluates to the value of
<obj>
if
<obj>
evaluates to a true value. It is an error if
<obj>
evaluates to a false value. The expressions
<message>
...
should document the assumption.