with
| UriManager.IllFormedUri _ | Failure _ | Invalid_argument _ ->
(* Constructor of an Inductive Type *)
let (uri, typeno, consno) = indconuri_of_uri s in
with
| UriManager.IllFormedUri _ | Failure _ | Invalid_argument _ ->
(* Constructor of an Inductive Type *)
let (uri, typeno, consno) = indconuri_of_uri s in