summaryrefslogtreecommitdiff
path: root/src/especialize.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/especialize.sig')
-rw-r--r--src/especialize.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/especialize.sig b/src/especialize.sig
index df83e81b..ad2d15da 100644
--- a/src/especialize.sig
+++ b/src/especialize.sig
@@ -29,4 +29,6 @@ signature ESPECIALIZE = sig
val specialize : Core.file -> Core.file
+ val functionInside : Core.con -> bool
+
end