summaryrefslogtreecommitdiff
path: root/clib/clib.mllib
diff options
context:
space:
mode:
Diffstat (limited to 'clib/clib.mllib')
-rw-r--r--clib/clib.mllib40
1 files changed, 40 insertions, 0 deletions
diff --git a/clib/clib.mllib b/clib/clib.mllib
new file mode 100644
index 00000000..c9b4d72f
--- /dev/null
+++ b/clib/clib.mllib
@@ -0,0 +1,40 @@
+Canary
+CObj
+CEphemeron
+
+Hashset
+Hashcons
+
+OrderedType
+CSet
+CMap
+CList
+CString
+CStack
+
+Int
+Range
+HMap
+Bigint
+
+CArray
+Option
+CUnix
+
+Segmenttree
+Unicodetable
+Unicode
+Minisys
+CThread
+Trie
+Predicate
+Heap
+Unionfind
+
+Dyn
+Store
+Exninfo
+Backtrace
+IStream
+Terminal
+Monad