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
26 val iter : (node -> unit) -> t -> unit
28 val is_empty : t -> bool
29 val head : t -> iterator
30 val last : t -> iterator
31 val next : iterator -> iterator
32 val value : iterator -> node
33 val finished : iterator -> bool