Joseph Ferano 73dfaacbc8 A condition type may name a parent and a handler for Error catches every built-in error, a signal passes one descriptor carrying its chain, name, sentence and site, and the break loop shows the sentence the runtime wrote

2026-09-25 12:05:13 +07:00

..

dune

Type checking and stuff

2026-09-10 17:27:53 +07:00

main.ml

A condition type may name a parent and a handler for Error catches every built-in error, a signal passes one descriptor carrying its chain, name, sentence and site, and the break loop shows the sentence the runtime wrote

2026-09-25 12:05:13 +07:00