assert widen([0, 2, 4], App("f", [Var(0), Var(1), Var(2)])) == App("f", [Var(0), Var(2), Var(4)])
https://feedx.net，这一点在新收录的资料中也有详细论述
Last summer Greg met Lucy, now in her 20s, for the first time.，推荐阅读新收录的资料获取更多信息
Ранее США и Израиль ударили по управлению дипломатической полиции, которое расположено в Тегеране у площади Фирдоуси рядом с посольством России.。新收录的资料对此有专业解读