sig
  type 'a el = Atome of '| List of 'Ilist.t
  and 'a t = 'Ilist.el list
  val cons : 'Ilist.el -> 'Ilist.t -> 'Ilist.t
  val atome : '-> 'Ilist.el
  val list : 'Ilist.t -> 'Ilist.el
  val of_list : 'a list -> 'Ilist.t
  val hd : 'Ilist.t -> 'Ilist.el
  val tl : 'Ilist.t -> 'Ilist.t
  val length : 'Ilist.t -> int
  val depth : 'Ilist.t -> int
  val append : 'Ilist.t -> 'Ilist.t -> 'Ilist.t
  val flatten : ?depth:int -> 'Ilist.t -> 'Ilist.t
  val rev : 'Ilist.t -> 'Ilist.t
  val mem : '-> 'Ilist.t -> bool
  val exists : ('-> bool) -> 'Ilist.t -> bool
  val map : (bool -> '-> 'b) -> 'Ilist.t -> 'Ilist.t
  val iter : (bool -> '-> unit) -> 'Ilist.t -> unit
  val fold_left : ('-> bool -> '-> 'a) -> '-> 'Ilist.t -> 'a
  val fold_right : (bool -> '-> '-> 'b) -> 'Ilist.t -> '-> 'b
  val print :
    ?first:(unit, Format.formatter, unit) Pervasives.format ->
    ?sep:(unit, Format.formatter, unit) Pervasives.format ->
    ?last:(unit, Format.formatter, unit) Pervasives.format ->
    (Format.formatter -> '-> unit) ->
    Format.formatter -> 'Ilist.t -> unit
end