(* TODO: usare le uri in questo formato *)
type mquref = UriManager.uri * mqfi (* uri, fragment identifier *)
-type mqrefs = mqtref list (* list of references (helper) *)
+type mqrefs = string list (* list of references (helper) *)
-type mqresult =
- | MQStrUri of string list
+type mqresult =
| MQRefs of mqrefs