1 (*************************************************************************)
3 (* Objective Caml LablTk library *)
5 (* Jacques Garrigue, Kyoto University RIMS *)
7 (* Copyright 1999 Institut National de Recherche en Informatique et *)
8 (* en Automatique and Kyoto University. All rights reserved. *)
9 (* This file is distributed under the terms of the GNU Library *)
10 (* General Public License, with the special exception on linking *)
11 (* described in file ../../../LICENSE. *)
13 (*************************************************************************)
15 (* $Id: searchid.mli 5044 2002-07-25 22:51:47Z garrigue $ *)
17 val start_env : Env.t ref
18 val module_list : string list ref
19 val longident_of_path : Path.t ->Longident.t
31 val string_of_kind : pkind -> string
33 exception Error of int * int
35 val search_string_type :
36 string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list
37 val search_pattern_symbol : string -> (Longident.t * pkind) list
38 val search_string_symbol : string -> (Longident.t * pkind) list
40 val search_structure :
41 Parsetree.structure ->
42 name:string -> kind:pkind -> prefix:string list -> int
43 val search_signature :
44 Parsetree.signature ->
45 name:string -> kind:pkind -> prefix:string list -> int