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 c : ? List[Elem]
op c : (? List[Elem]) : Type