int_of_string
(String.sub uri index_con (String.length uri - index_con)))
+(* (* NO LONGER USED, see CicUtil.term_of_uri *)
let term_of_uri ?(subst = []) uri =
let s = UriManager.string_of_uri uri in
try
(* Constant *)
- (* TODO explicit substitutions? *)
let len = String.length s in
let sub = String.sub s (len -4) 4 in
if sub = ".con" then
mutconstruct ~subst uri typeno consno)
with
| Invalid_argument _ | Not_found -> raise (UriManager.IllFormedUri s)
+*)
(** {2 Helm's objects shorthands} *)