diff options
Diffstat (limited to 'frontend/utilities.dcl')
| -rw-r--r-- | frontend/utilities.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl index 4d4cbb4..30eba7c 100644 --- a/frontend/utilities.dcl +++ b/frontend/utilities.dcl @@ -71,6 +71,7 @@ where fold_st2 xs [] st = abort ("fold_st2: first argument list contains more elements") + // foldSt :: !(.a -> .(.st -> .st)) ![.a] !.st -> .st foldSt op l st :== fold_st l st where |