sig
  exception LazyListFailure of string
  type 'a node_t = Nil | Cons of 'a * 'a LList.t
  and 'a t = 'a LList.node_t Lazy.t
  val nil : 'a LList.node_t lazy_t
  val iter : ('a -> 'b) -> 'a LList.node_t Lazy.t -> unit
  val iteri : (int -> 'a -> 'b) -> 'a LList.node_t Lazy.t -> unit
  val map : ('a -> 'b) -> 'a LList.t -> 'b LList.t
  val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b LList.node_t Lazy.t -> 'a
  val fold_right : ('a -> 'b -> 'b) -> 'b -> 'a LList.node_t Lazy.t -> 'b
  val length : int LList.node_t Lazy.t -> int
  val hd : 'a LList.node_t Lazy.t -> 'a
  val tl : 'a LList.node_t Lazy.t -> 'a LList.t
  val nth : 'a LList.node_t Lazy.t -> int -> 'a
  val rev : 'a LList.node_t Lazy.t -> 'a LList.t
  val eager_append : 'a LList.t -> 'a LList.t -> 'a LList.t
  val rev_append : 'a LList.t -> 'a LList.t -> 'a LList.t
  val append : 'a LList.t -> 'a LList.t -> 'a LList.t
  val concat : 'a LList.t list -> 'a LList.t
  val flatten : 'a LList.t LList.t -> 'a LList.t
  val to_list : 'a LList.node_t Lazy.t -> 'a list
  val to_stream : 'a LList.node_t Lazy.t -> 'a Stream.t
  val to_array : 'a LList.node_t Lazy.t -> 'a array
  val of_list : 'a list -> 'a LList.t
  val of_stream : 'a Stream.t -> 'a LList.t
  val eager_of_list : 'a list -> 'a LList.t
  val of_array : 'a array -> 'a LList.t
  val filter : ('a -> bool) -> 'a LList.node_t Lazy.t -> 'a LList.t
  val exists : ('a -> bool) -> 'a LList.node_t Lazy.t -> bool
  val for_all : ('a -> bool) -> 'a LList.node_t Lazy.t -> bool
  val range : int -> int -> int LList.t
  val map_filter : ('a -> 'b option) -> 'a LList.node_t Lazy.t -> 'b LList.t
end