TransDefRules.curry 15.2 KB