Any

【Erlang】lists:all/2 和 lists:any/2 对于空列表运算结果是啥?