let get_constraints = function
| Cic.MutInd (uri, t, _) ->
- let uri = MQueryUtil.string_of_uriref (uri, [t]) in
+ let uri = UriManager.string_of_uriref (uri, [t]) in
let constr_obj =
[(`InHypothesis, uri); (`MainHypothesis (Some 0), uri)]
in
let constr_sort = [(`MainHypothesis (Some 1), MQGTypes.Prop)] in
(constr_obj, constr_rel, constr_sort)
| _ -> raise NotAnInductiveDefinition
-
-let universe = CGSearchPattern.universe