☰
use
Panic_Handler.use
§use(R type, code Function Panic_Handler.use.R, def Function Panic_Handler.use.R) => Panic_Handler.use.R:Any
§use(R
type
, code Function Panic_Handler.use.R, def Function Panic_Handler.use.R) =>
Panic_Handler.use.R:
Any
`code` on it. In case of an abort, return `def()` (NYI: def should be
removed and the result of do_panic should be returned instead).