Cross Reference: CompoundList.hascasl
xref
: /
hets
/
HasCASL
/
test
/
CompoundList.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
CompoundList.hascasl revision 0a39036fa485579a7b7c81cdd44a412392571927
type List[Elem]
op c : List[Elem]
op c : ? List[Elem]