Lists - Implementation : Use_interval_lists.map_cons

let rec map_cons_closed = function

  lzz 

  -> if is_empty_list (lzz)

           then empty_list ()    (* -----lzz : type error ----- *)

           else cons_list (cons_closed(head (lzz)), map_cons_closed (tail (lzz)))