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