TransDefRules.curry 15 KB