ocaml/listx.mli

   1 type 'a listx = Nil of 'a | Cons of ('a * 'a listx)
   2 val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b listx -> 'a
   3 val hd : 'a listx -> 'a
   4 val map : ('a -> 'b) -> 'a listx -> 'b listx
   5 val append : 'a listx -> 'a listx -> 'a listx
   6 val length : 'a listx -> int
   7 val assoc : 'a -> ('a * 'b) listx -> 'b
   8 val to_list : 'a listx -> 'a list
   9 val from_list : 'a list -> 'a listx
  10 val split_nth : int -> 'a listx -> 'a list
  11 val max : 'a listx -> 'a