diff options
Diffstat (limited to 'common.sml')
-rw-r--r-- | common.sml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 () |