From 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Wed, 4 Jun 2025 20:45:08 +0200 Subject: Registration of declarations --- common.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'common.sml') diff --git a/common.sml b/common.sml index 75ed15e..3fd58c2 100644 --- a/common.sml +++ b/common.sml @@ -2,6 +2,7 @@ exception Unreachable and Unimplemented fun $ (x, y) = x y infixr 0 $ +fun id x = x fun assert truth = if not truth then raise Unreachable else () -- cgit v1.2.3