The require forms check the same way and, when the check fails, return from the procedure
they are written in (which must return nothing).
- condition: what must be true.
- message: what to report instead of the default.
- loc: where the check is written, shown when it fails. Leave the default.
require :: (condition: bool, message := "", loc := #caller_location)The require forms check the same way and, when the check fails, return from the procedure
they are written in (which must return nothing).
Parameters
- condition: bool
- what must be true.
- message := ""
- what to report instead of the default.
- loc := #caller_location
- where the check is written, shown when it fails. Leave the default.