method subs_of_ele = function
        ME (Element_module m) ->
          List.map (fun e -> ME e) (module_elements m)
      |        ME (Element_module_type m) ->
          List.map (fun e -> ME e) (module_type_elements m)
      |        ME (Element_included_module _) ->
          []
      |        ME (Element_class c) ->
          List.map (fun e -> CE e) (class_elements c)
      |        ME (Element_class_type c) ->
          List.map (fun e -> CE e) (class_type_elements c)
      |        ME (Element_value _)
      |        ME (Element_type _)
      |        ME (Element_exception _)
      |        ME (Element_module_comment _)
      |        CE (Class_attribute _)
      |        CE (Class_method _)
      |        CE (Class_comment _) ->
          []