f92a9a33e08d620a0ac77dbcd22282c379047f59Christian Maedersort a, t, s1, s2
f92a9a33e08d620a0ac77dbcd22282c379047f59Christian Maederfree type s ::= sort s2,s1 | c | c(a; a,b:t; d:t) | c(a)?
f92a9a33e08d620a0ac77dbcd22282c379047f59Christian Maedergenerated type s ::= sort s2,s1 | c | c(a) | c(a; a,b:t; d:t) | c(a)?