chickadee » simple-exceptions » result-exception

Identifier search

result-exception loc arg ...procedure: raised when a postcondition is violated. Can be catched with (exn result)