Cross Reference: XGenType.casl
xref
: /
hets
/
CASL
/
test
/
XGenType.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
db3b74383c0afcd7a0aec50c263aec4f4e09df8d
cmaeder
free type L ::= la(A) | l(R)
db3b74383c0afcd7a0aec50c263aec4f4e09df8d
cmaeder
R ::= r | r(L)
db3b74383c0afcd7a0aec50c263aec4f4e09df8d
cmaeder
C ::= c(A;B;L)
db3b74383c0afcd7a0aec50c263aec4f4e09df8d
cmaeder
A ::= a
db3b74383c0afcd7a0aec50c263aec4f4e09df8d
cmaeder
B ::= b