diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-08 13:24:05 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-08 13:24:05 +0000 |
commit | eacc53042bd75c186f852e6c54b4a7d5faf73703 (patch) | |
tree | 7a2eea2dc557da3ec399a87a12c49735e4028ef3 /ocamldoc/odoc_search.mli | |
parent | c8a0a1b6e4a178d6b2b4569890eada9644458b07 (diff) | |
download | ocaml-eacc53042bd75c186f852e6c54b4a7d5faf73703.tar.gz |
conservation des textes des sections pour mettre de jolis texte pour les liens entre sections n html
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_search.mli')
-rw-r--r-- | ocamldoc/odoc_search.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ocamldoc/odoc_search.mli b/ocamldoc/odoc_search.mli index b2add68b4e..a136e3cdcb 100644 --- a/ocamldoc/odoc_search.mli +++ b/ocamldoc/odoc_search.mli @@ -23,7 +23,7 @@ type result_element = | Res_exception of Odoc_exception.t_exception | Res_attribute of Odoc_value.t_attribute | Res_method of Odoc_value.t_method - | Res_section of string + | Res_section of string * Odoc_types.text (** The type representing a research result.*) type result = result_element list @@ -53,7 +53,7 @@ module Search : functor (P : Predicates) -> sig (** search in a section title *) - val search_section : string -> P.t -> result_element list + val search_section : Odoc_types.text -> string -> P.t -> result_element list (** search in a value *) val search_value : Odoc_value.t_value -> P.t -> result_element list @@ -110,7 +110,7 @@ module P_name : (** A module to search elements by name. *) module Search_by_name : sig - val search_section : string -> P_name.t -> result_element list + val search_section : Odoc_types.text -> string -> P_name.t -> result_element list val search_value : Odoc_value.t_value -> P_name.t -> result_element list val search_type : Odoc_type.t_type -> P_name.t -> result_element list val search_exception : |