From ccba6c718af6a5a15f278fc9365b6ad27108e98f Mon Sep 17 00:00:00 2001 From: letouzey Date: Thu, 29 Apr 2010 16:06:42 +0000 Subject: Various minor improvements of comments in mli for ocamldoc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12976 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/declaremods.mli | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'library/declaremods.mli') diff --git a/library/declaremods.mli b/library/declaremods.mli index 4cbdf4ce4..b7126147e 100644 --- a/library/declaremods.mli +++ b/library/declaremods.mli @@ -13,9 +13,7 @@ open Environ open Libnames open Libobject open Lib - (**/**) -(** {6 Sect } *) (** This modules provides official functions to declare modules and module types *) @@ -65,7 +63,7 @@ val start_modtype : (env -> 'modast -> module_struct_entry) -> val end_modtype : unit -> module_path -(** {6 Sect } *) +(** {6 ... } *) (** Objects of a module. They come in two lists: the substitutive ones and the other *) @@ -107,7 +105,7 @@ val import_module : bool -> module_path -> unit val declare_include : (env -> 'struct_expr -> module_struct_entry * bool) -> ('struct_expr * bool) list -> unit -(** {6 Sect } *) +(** {6 ... } *) (** [iter_all_segments] iterate over all segments, the modules' segments first and then the current segment. Modules are presented in an arbitrary order. The given function is applied to all leaves -- cgit v1.2.3