Resolution.curry 30.4 KB