summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/viewer.mli
blob: 2ddf388614988902102aea36b5e00dde710d00e7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(* $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 view_defined : Longident.t -> env:Env.t -> unit
        (* displays a signature, found in environment *)

val close_all_views : unit -> unit