1 (***********************************************************************)
5 (* Kim Nguyen, LRI UMR8623 *)
6 (* Université Paris-Sud & CNRS *)
8 (* Copyright 2010-2013 Université Paris-Sud and Centre National de la *)
9 (* Recherche Scientifique. All rights reserved. This file is *)
10 (* distributed under the terms of the GNU Lesser General Public *)
11 (* License, with the special exception on linking described in file *)
14 (***********************************************************************)
22 val create : unit -> t
23 val add : node -> t -> unit
24 val push_front : node -> t -> unit
25 val push_back : node -> t -> unit
27 val append : t -> t -> t
28 val iter : (node -> unit) -> t -> unit
30 val is_empty : t -> bool
31 val head : t -> iterator
32 val last : t -> iterator
33 val next : iterator -> iterator
34 val value : iterator -> node
35 val finished : iterator -> bool