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
|