Commit 15da2386 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add some more files to apidoc.

parent b6464fac
......@@ -1225,11 +1225,11 @@ endif
.PHONY: apidoc
MODULESTODOC = util/util util/weakhtbl \
MODULESTODOC = \
util/exthtbl util/extmap util/rc util/stdlib util/util util/weakhtbl \
core/ident core/ty core/term core/decl core/theory \
core/env core/task \
driver/whyconf driver/driver \
util/rc \
session/session session/session_tools session/session_scheduler
# transform/introduction \
# ide/db
......
......@@ -167,7 +167,7 @@ module type Map = sig
(** Same as {!Map.S.map}, but the function receives as arguments both
the key and the associated value for each binding of the map. *)
(** {3} Added into why stdlib version *)
(** Added into why stdlib version *)
val is_num_elt : int -> 'a t -> bool
(** check if the map has the given number of elements *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment