otherlibs/labltk/browser/jg_completion.mli


1
2
3
4
5
6
7
8
9

(* $Id$ *)

class timed :  ?nocase:bool -> ?wait:int -> string list -> object
  val mutable texts : string list
  method add : string -> int
  method current : int
  method get_current : string
  method reset : unit
end