descending := numbers.sort(fn(a: int, b: int) - bool { return a b; });
assert str(m.query_once("sublist([1,2], [1,2,3], Ps).")["Ps"]) == "[true, true, false]"，这一点在PDF资料中也有详细论述
，更多细节参见新收录的资料
锁等待（LockSupport.park() 等）
▲图片来源：X@munou_ac，推荐阅读新收录的资料获取更多信息
习近平总书记强调：“人民对美好生活的向往就是我们的奋斗目标，抓改革、促发展，归根到底就是为了让人民过上更好的日子。”