← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to otherlibs/labltk/browser/searchpos.mli

  • Committer: Bazaar Package Importer
  • Author(s): Stefano Zacchiroli
  • Date: 2009-02-22 08:49:13 UTC
  • mfrom: (12.1.1 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090222084913-3i0uw2bhd0lgw0ok
* Uploading to unstable
* debian/control: bump dh-ocaml to (>= 0.4) to avoid buggy ocamlinit.mk

Show diffs side-by-side

added added

removed removed

Lines of Context:
otherlibs/labltk/browser/searchpos.mli
12
12
(*                                                                       *)
13
13
(*************************************************************************)
14
14
 
15
 
(* $Id: searchpos.mli,v 1.12 2003/04/02 06:56:05 garrigue Exp $ *)
 
15
(* $Id: searchpos.mli,v 1.13 2007/05/16 08:21:40 doligez Exp $ *)
16
16
 
17
17
open Widget
18
18
 
67
67
    pos:int -> Typedtree.structure_item list ->
68
68
    (fkind * Env.t * Location.t) list
69
69
val search_pos_info :
70
 
    pos:int -> Stypes.type_info list -> (fkind * Env.t * Location.t) list
 
70
    pos:int -> Stypes.annotation list -> (fkind * Env.t * Location.t) list
71
71
val view_type : fkind -> env:Env.t -> unit
72
72
val view_type_menu : fkind -> env:Env.t -> parent:'a widget -> menu widget
73
73