Higher-order functions : Higher_order.map_to_all

let rec map_to_all_1 = function

  f -> (function

          lx -> if is_empty_list (lx)

                  then empty_list ()

                  else cons_list (f (head (lx)), (map_to_all_1 (f)) (tail (lx))))