SortSpec.curry 1.41 KB