let rec assocp x = function | (h, a) :: t when h == x -> a | _ :: t -> assocp x t | [] -> raise Not_found