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