首页
标签
mini-language
接受两个谓词列表和元素列表并相应地划分元素列表的函数