| Decompose (_, [], what, names) ->
sprintf "decompose %s%s" what (pp_intros_specs (None, names))
| Decompose (_, types, what, names) ->
| Decompose (_, [], what, names) ->
sprintf "decompose %s%s" what (pp_intros_specs (None, names))
| Decompose (_, types, what, names) ->