1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
(***********************************************************************)
(* *)
(* Ledit *)
(* *)
(* Daniel de Rauglaudre, INRIA Rocquencourt *)
(* *)
(* Copyright 2001-2008 Institut National de Recherche en Informatique *)
(* et Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: cursor.mli,v 1.7 2008/01/01 18:46:28 deraugla Exp $ *)
type t 'a = 'x;
exception Failure;
value create : unit -> t 'a;
value before : t 'a -> unit;
value after : t 'a -> unit;
value insert : t 'a -> 'a -> unit;
value insert_last : t 'a -> 'a -> unit;
value peek : t 'a -> 'a;
value peek_last : t 'a -> 'a;
value goto_first : t 'a -> unit;
value goto_last : t 'a -> unit;
value get_all : t 'a -> list 'a;
value is_last_line : t 'a -> bool;
|
