Spec.het revision b75ad7b45e09e8f998d0fc5a91dc14578fc8eabf
sort s, t;
ops a, o : s
. a = o
. o = a %implied