summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/viewer.mli
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-11 13:49:51 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-11 13:49:51 +0000
commit65e8f0b2b10dc7e5645532393181074c7806928f (patch)
tree1e805ae373516cdf29ea5771fc40dc7b535ff7ac /otherlibs/labltk/browser/viewer.mli
parent758f8f8d96700008a9669c9914c9ed3bcf2cfecc (diff)
show signature
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/viewer.mli')
-rw-r--r--otherlibs/labltk/browser/viewer.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/viewer.mli b/otherlibs/labltk/browser/viewer.mli
index ac7745c55..d8bec671d 100644
--- a/otherlibs/labltk/browser/viewer.mli
+++ b/otherlibs/labltk/browser/viewer.mli
@@ -25,7 +25,7 @@ val f : ?dir:string -> ?on:toplevel widget -> unit -> unit
val st_viewer : ?dir:string -> ?on:toplevel widget -> unit -> unit
(* one-box viewer *)
-val view_defined : Longident.t -> env:Env.t -> unit
+val view_defined : env:Env.t -> ?show_all:bool -> Longident.t -> unit
(* displays a signature, found in environment *)
val close_all_views : unit -> unit