[][src]Module totems::inequalities