* IT DOESN'T COMPILE!!!
It must still be ported to the new Meta. I don't do it yet because
this module should disappear when the new exportation module will be
available.
>]
| C.AConst (id,uri,_) ->
X.xml_empty "CONST" ["uri", (U.string_of_uri uri) ; "id",id]
>]
| C.AConst (id,uri,_) ->
X.xml_empty "CONST" ["uri", (U.string_of_uri uri) ; "id",id]
- | C.AMutInd (id,uri,_,i) ->
| C.AMutInd (id,uri,_,i) ->
X.xml_empty "MUTIND"
["uri", (U.string_of_uri uri) ;
| C.AMutInd (id,uri,_,i) ->
X.xml_empty "MUTIND"
["uri", (U.string_of_uri uri) ;