summaryrefslogtreecommitdiff
path: root/stdlib/stdlib.mli
diff options
context:
space:
mode:
authorDaniel Bünzli <daniel.buenzli@erratique.ch>2018-11-06 10:36:07 +0100
committerAlain Frisch <alain@frisch.fr>2018-11-06 10:36:07 +0100
commit89e48a38e94022ea94a18de4b39de7fbc719469f (patch)
tree482602e306f930d6dbf0b2db86f2612e2a3a4c1b /stdlib/stdlib.mli
parente8bdc6af67e9d77bacfe4405627b5e545ac2ca25 (diff)
downloadocaml-89e48a38e94022ea94a18de4b39de7fbc719469f.tar.gz
Stdlib: add Fun module. (#2129)
* Stdlib: add Fun module. * Stdlib: rename Bool.negate to Fun.negate.
Diffstat (limited to 'stdlib/stdlib.mli')
-rw-r--r--stdlib/stdlib.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
index 93eb63d6c9..465b4745e8 100644
--- a/stdlib/stdlib.mli
+++ b/stdlib/stdlib.mli
@@ -1252,6 +1252,7 @@ module Ephemeron = Ephemeron
module Filename = Filename
module Float = Float
module Format = Format
+module Fun = Fun
module Gc = Gc
module Genlex = Genlex
module Hashtbl = Hashtbl