Blame browser/jg_completion.mli

Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*                         OCaml LablTk library                          *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                    *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*   Copyright 1999 Institut National de Recherche en Informatique et    *)
Packit bd2e5d
(*   en Automatique and Kyoto University.  All rights reserved.          *)
Packit bd2e5d
(*   This file is distributed under the terms of the GNU Library         *)
Packit bd2e5d
(*   General Public License, with the special exception on linking       *)
Packit bd2e5d
(*   described in file ../../../LICENSE.                                 *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
Packit bd2e5d
(* $Id$ *)
Packit bd2e5d
Packit bd2e5d
val compare_string : ?nocase:bool -> string -> string -> int
Packit bd2e5d
Packit bd2e5d
class timed :  ?nocase:bool -> ?wait:int -> string list -> object
Packit bd2e5d
  val mutable texts : string list
Packit bd2e5d
  method add : string -> int
Packit bd2e5d
  method current : int
Packit bd2e5d
  method get_current : string
Packit bd2e5d
  method reset : unit
Packit bd2e5d
end