(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.