CompoundList.hascasl revision 99f16a0f9ca757410960ff51a79b034503384fe2
type List[Elem]
op c : List[Elem]
op c :?List[Elem]
op c : ? List[Elem] : Type