sparc
sparc copied to clipboard
[Language Design] Allow anonimous sorts
Allow anonimous sorts (e.g, a predicate definition of the form p({a,b,c}).