chickadee » dbc » contract-condition-handler

contract-condition-handler exnprocedure
function (result)
requires (condition? exn)
ensures  result of handled exeption