summaryrefslogtreecommitdiff
path: root/src/monoize.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/monoize.sig')
-rw-r--r--src/monoize.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monoize.sig b/src/monoize.sig
index 951db01b..549bf6ee 100644
--- a/src/monoize.sig
+++ b/src/monoize.sig
@@ -31,4 +31,6 @@ signature MONOIZE = sig
val liftExpInExp : int -> Mono.exp -> Mono.exp
+ val urlifiedUnit : Mono.exp
+
end