let lookup el x = let rec loop = function | [] -> raise Not_found | (a, b) :: el -> if eq x a then b else loop el in loop el