Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
58 lines (49 sloc) 2 KB
(*************************************************************************)
(* *)
(* Objective Caml LablTk library *)
(* *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 1999 Institut National de Recherche en Informatique et *)
(* en Automatique and Kyoto University. All rights reserved. *)
(* This file is distributed under the terms of the GNU Library *)
(* General Public License, with the special exception on linking *)
(* described in file ../../../LICENSE. *)
(* *)
(*************************************************************************)
(* $Id: searchid.mli,v 1.6 2002/07/25 22:51:47 garrigue Exp $ *)
module Stat : sig
(** search statistics *)
type t = {
type_included : int;
type_exact : int;
symbol : int;
time : float;
}
val format : Format.formatter -> t -> unit
val get : ('a -> 'b) -> 'a -> [> `Error of exn | `Ok of 'b ] * t
end
val start_env : Env.t ref
val module_list : string list ref
val longident_of_path : Path.t ->Longident.t
type pkind =
Pvalue
| Ptype
| Plabel
| Pconstructor
| Pmodule
| Pmodtype
| Pclass
| Pcltype
val string_of_kind : pkind -> string
exception Error of int * int
val search_string_type :
string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list
val search_pattern_symbol : string -> (Longident.t * pkind) list
val search_string_symbol : string -> (Longident.t * pkind) list
val search_structure :
Parsetree.structure ->
name:string -> kind:pkind -> prefix:string list -> int
val search_signature :
Parsetree.signature ->
name:string -> kind:pkind -> prefix:string list -> int