diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 15:32:15 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 15:32:15 +0000 |
| commit | f2fff9bcddcba19d82c032a169758a9a6e6b6363 (patch) | |
| tree | c435536e78122324ea3a57cd566250d299a6a3dc /ocamldoc/odoc_info.ml | |
| parent | 786b610e5db3c48e145a25f54237a22f48845977 (diff) | |
| download | ocaml-f2fff9bcddcba19d82c032a169758a9a6e6b6363.tar.gz | |
ajout de fonctions sur les labels, en utilisant celles du compilo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_info.ml')
| -rw-r--r-- | ocamldoc/odoc_info.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index 08ed45cae6..0248353459 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -152,6 +152,10 @@ let create_index_lists = Odoc_misc.create_index_lists let remove_option = Odoc_misc.remove_option +let is_optional = Odoc_misc.is_optional + +let label_name = Odoc_misc.label_name + let use_hidden_modules n = Odoc_name.hide_given_modules !Odoc_args.hidden_modules n |