expand_less

结果'assumptions'

3 模板可用。