let rec del_site_cookies (d: domain) (p: path) (ks: string list) (b: b) : b = begin match ks with | [] -> b | k :: ks1 -> let b' = del_site_cookie d p k b in del_site_cookies d p ks1 b' end