| C.Appl _ -> assert false
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) kind
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^
List.iter process_body_aux l
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) H.InBody
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^