summaryrefslogtreecommitdiff
path: root/src/especialize.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-08-22 13:43:46 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-08-22 13:43:46 -0400
commit7765b90d25f98bd9eb0cf2998121e51d4551f733 (patch)
treed081f569cf52ee803d96962b25ab35f828c696df /src/especialize.sig
parent1bd7feb39add77e14df852d2087902049f2b5df3 (diff)
Reduce: Inline let-bound variables whose types involve functions
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