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 : elem -> t -> unit
24 val push_front : elem -> t -> unit
25 val push_back : elem -> t -> unit
26 val iter : (elem -> 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 -> elem
33 val finished : iterator -> bool
37 module Make (E : sig type t end) : S with type elem = E.t