sig
  type 'a el = Atome of 'a | List of 'a Ilist.t
  and 'a t = Nil | Cons of 'a Ilist.el * 'a Ilist.t
  val cons : 'a Ilist.el -> 'a Ilist.t -> 'a Ilist.t
  val atome : 'a -> 'a Ilist.el
  val list : 'a Ilist.t -> 'a Ilist.el
  val of_list : 'a list -> 'a Ilist.t
  val hd : 'a Ilist.t -> 'a Ilist.el
  val tl : 'a Ilist.t -> 'a Ilist.t
  val length : 'a Ilist.t -> int
  val depth : 'a Ilist.t -> int
  val append : 'a Ilist.t -> 'a Ilist.t -> 'a Ilist.t
  val concat : 'a Ilist.t -> 'a list
  val flatten : ?depth:int -> 'a Ilist.t -> 'a Ilist.t
  val rev : 'a Ilist.t -> 'a Ilist.t
  val mem : 'a -> 'a Ilist.t -> bool
  val map : (bool -> 'a -> 'b) -> 'a Ilist.t -> 'b Ilist.t
  val iter : (bool -> 'a -> unit) -> 'a Ilist.t -> unit
  val fold_left : ('a -> bool -> 'b -> 'a) -> 'a -> 'b Ilist.t -> 'a
  val iter_rec : ('a -> 'a Sette.t array -> unit) -> 'a Ilist.t -> unit
  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 -> 'a -> unit) ->
    Format.formatter -> 'a Ilist.t -> unit
end