summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_misc.mli
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-02 15:16:31 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-02 15:16:31 +0000
commit786b610e5db3c48e145a25f54237a22f48845977 (patch)
tree554551b48c1c1ba63383f49210dcf509f969c1c5 /ocamldoc/odoc_misc.mli
parente3c3f8b66a3c7ed28253f11b348b706d988306af (diff)
downloadocaml-786b610e5db3c48e145a25f54237a22f48845977.tar.gz
affichage des types de classes, ajout des labels pour les paramètres (pour les classes seulement pour l'instant)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_misc.mli')
-rw-r--r--ocamldoc/odoc_misc.mli5
1 files changed, 5 insertions, 0 deletions
diff --git a/ocamldoc/odoc_misc.mli b/ocamldoc/odoc_misc.mli
index c54481cf66..dd4730b976 100644
--- a/ocamldoc/odoc_misc.mli
+++ b/ocamldoc/odoc_misc.mli
@@ -88,3 +88,8 @@ val first_sentence_and_rest_of_text :
Since the original list is sorted, elements whose name does not
begin with a letter should be in the first returned list.*)
val create_index_lists : 'a list -> ('a -> string) -> 'a list list
+
+(** Take a type and remove the option top constructor. This is
+ useful when printing labels, we we then remove the top option contructor
+ for optional labels.*)
+val remove_option : Types.type_expr -> Types.type_expr