diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
| commit | 9d724f17e813fa344d485329d33b5f5ecf8197a3 (patch) | |
| tree | 5061e604ea88a379db975b13c1d20688007cacc8 /exn_handler.sig | |
| parent | 7b29b31648fd737e7bbc007f480b799add91bc6b (diff) | |
Functorization
Diffstat (limited to 'exn_handler.sig')
| -rw-r--r-- | exn_handler.sig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/exn_handler.sig b/exn_handler.sig new file mode 100644 index 0000000..ac5c574 --- /dev/null +++ b/exn_handler.sig @@ -0,0 +1,3 @@ +signature EXN_HANDLER = sig + val handler: exn -> unit +end |