aboutsummaryrefslogtreecommitdiff
path: root/sucl/basic.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/basic.dcl')
-rw-r--r--sucl/basic.dcl3
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index 27c170d..c6057ec 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -82,6 +82,9 @@ indent :: .String -> .([.String] -> .[String])
// `Identifiers' is the list of all identifiers
identifiers :: [String]
+// `Inccounter m f' increments counting function f by one at point m.
+inccounter :: a (a->b) a -> b | == a & +,one b
+
// `Intersect xs ys' is the intersection of list `ys' with list `xs'.
intersect :: ![elem] [elem] -> .[elem] | == elem