\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-let err () = assert false
+let err _ = assert false
let start x = x
map f a hd1 hd2
| _ -> assert false
+let list_iter2 f map l1 l2 =
+ let map f () x1 x2 = map f x1 x2 in
+ list_fold_left2 f map () l1 l2
+
let rec list_mem ?(eq=(=)) a = function
| [] -> false
| hd :: _ when eq a hd -> true