diff options
Diffstat (limited to 'common.sml')
| -rw-r--r-- | common.sml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -53,6 +53,7 @@ structure FRU = struct fun f8 z = next f7 z fun f9 z = next f8 z fun f10 z = next f9 z + fun f11 z = next f10 z fun c0 from = from fun c1 from = c0 from f1 @@ -65,6 +66,7 @@ structure FRU = struct fun c8 from = c7 from f8 fun c9 from = c8 from f9 fun c10 from = c9 from f10 + fun c11 from = c10 from f11 fun makeUpdate cX (from, from', to) record = let @@ -84,6 +86,7 @@ structure FRU = struct fun makeUpdate8 z = makeUpdate c8 z fun makeUpdate9 z = makeUpdate c9 z fun makeUpdate10 z = makeUpdate c10 z + fun makeUpdate11 z = makeUpdate c11 z fun upd z = Fold.step2 (fn (s, f, (vars, ops)) => |