diff options
Diffstat (limited to 'stdlib/stdlib.mllib')
| -rw-r--r-- | stdlib/stdlib.mllib | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/stdlib/stdlib.mllib b/stdlib/stdlib.mllib new file mode 100644 index 000000000..b3c6924f5 --- /dev/null +++ b/stdlib/stdlib.mllib @@ -0,0 +1,47 @@ +# This file lists all standard library modules. +# It is used in particular to know what to expunge in toplevels. +# $Id$ + +Pervasives +Arg +Array +ArrayLabels +Buffer +Callback +CamlinternalMod +CamlinternalOO +Char +Complex +Digest +Filename +Format +Gc +Genlex +Hashtbl +Int32 +Int64 +Lazy +Lexing +List +ListLabels +Map +Marshal +MoreLabels +Nativeint +Obj +Oo +Parsing +Printexc +Printf +Queue +Random +Scanf +Set +Sort +Stack +StdLabels +Stream +String +StringLabels +Sys +Weak |