c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maedertype List [Elem]

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknerop c : List [Elem]

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederop c : ? List [Elem]

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederop c : (? List [Elem]) : Type

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder%% Type Constructors -----------------------------------------------------

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederList[Elem] : Type

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder%% Assumptions -----------------------------------------------------------

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederc : (? List[Elem]) : Type %(op)%

85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder%% Diagnostics -----------------------------------------------------------

85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder### Warning 3.4, overlapping declaration of 'c'

85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder### Warning 4.4, overlapping declaration of 'c'

c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder