+ let s = String.sub s 5 (len - 5) in
+ let i = String.index s ':' in
+ let id = int_of_string (String.sub s 0 i) in
+ let suri = String.sub s (i+1) (len - 5 - i - 1) in
+ let uri = UriManager.uri_of_string suri in
+ try Cic.Type (CicUniv.fresh ~uri ~id ())