aboutsummaryrefslogtreecommitdiff
path: root/sucl/newfold.icl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/newfold.icl')
-rw-r--r--sucl/newfold.icl10
1 files changed, 5 insertions, 5 deletions
diff --git a/sucl/newfold.icl b/sucl/newfold.icl
index c8bb050..c6646d9 100644
--- a/sucl/newfold.icl
+++ b/sucl/newfold.icl
@@ -68,7 +68,7 @@ Deprecated type
> (bool,([bool],[rule * **],[rgraph * **]))
*/
-:: FunBody sym var
+:: FuncDef sym var
:== [Rule sym var]
/*
@@ -94,7 +94,7 @@ fullfold ::
((Rgraph sym var)->(sym,[var]))
sym
(Trace sym var pvar)
- -> ([Bool],FunBody sym var,[Rgraph sym var])
+ -> ([Bool],FuncDef sym var,[Rgraph sym var])
| == sym
& == var
& == pvar
@@ -119,7 +119,7 @@ recurse ::
((Rgraph sym var)->(sym,[var]))
sym
-> (Trace sym var pvar)
- -> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
+ -> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
@@ -159,7 +159,7 @@ foldtips ::
(sym,[var])
-> ([(var,Graph sym var)],[(var,Graph sym var)])
(Trace sym var pvar)
- -> (Bool,([Bool],FunBody sym var,[Rgraph sym var]))
+ -> (Bool,([Bool],FuncDef sym var,[Rgraph sym var]))
| == sym
& == var
& == pvar
@@ -228,7 +228,7 @@ newextract ::
(Etracer sym var pvar)
((Rgraph sym var)->(sym,[var]))
(Trace sym var pvar)
- -> ([Bool],FunBody sym var,[Rgraph sym var])
+ -> ([Bool],FuncDef sym var,[Rgraph sym var])
| == sym
& == var
& == pvar