From 9d724f17e813fa344d485329d33b5f5ecf8197a3 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 4 Apr 2025 20:53:56 +0200 Subject: Functorization --- exn_handler.sig | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 exn_handler.sig (limited to 'exn_handler.sig') 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 -- cgit v1.2.3