Cross Reference: /hets/HasCASL/test/CompoundList.hascasl
Cross Reference: CompoundList.hascasl
xref
: /
hets
/
HasCASL
/
test
/
CompoundList.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
1
2
3
4
5
type List[Elem]
op c : List[Elem]
op c :?List[Elem]
op c : ? List[Elem] : Type