TransContracts.curry 22.9 KB