| C.MutInd (uri,_,i), C.MutInd (uri',_,i') ->
UriManager.eq uri uri' && i = i'
| C.MutConstruct (uri,_,i,j), C.MutConstruct (uri',_,i',j') ->
| C.MutInd (uri,_,i), C.MutInd (uri',_,i') ->
UriManager.eq uri uri' && i = i'
| C.MutConstruct (uri,_,i,j), C.MutConstruct (uri',_,i',j') ->