sml-typed-abts
sml-typed-abts copied to clipboard
rename SORT signature :(
Sadly, the SORT signature is part of cmlib, so it's kind of inconvenient if we use it here. ~~I think a better option would be to just collapse the whole arity apparatus into a single signature.~~