blob: d8bec671df78bf64cac1269bb0887b46912073be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
(*************************************************************************)
(* *)
(* 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$ *)
(* Module viewer *)
open Widget
val search_symbol : unit -> unit
(* search a symbol in all modules in the path *)
val f : ?dir:string -> ?on:toplevel widget -> unit -> unit
(* open then module viewer *)
val st_viewer : ?dir:string -> ?on:toplevel widget -> unit -> unit
(* one-box viewer *)
val view_defined : env:Env.t -> ?show_all:bool -> Longident.t -> unit
(* displays a signature, found in environment *)
val close_all_views : unit -> unit
|
