CompoundList.hascasl.output revision cdb141ee48c3a96e620186de94316c562037a2e0
type List [Elem]
op c : List [Elem]
op c : ? List [Elem]
op c : (? List [Elem]) : Type
type
List[Elem] : Type
op c : List[Elem] %(op)%
op c : ? List[Elem] %(op)%
op c : (? List[Elem]) : Type %(op)%