type mqtref = mqpt * (mqbt list) * (mqft list) (* tokenized pattern reference *)
-type mqref = string (* format for references (helper) *)
-
type mqfunc =
| MQName (* Name *)
| MQTheory (* theory *)
| MQSubset of mqlist * mqlist (* the two lists denote two sets, the 1st subset of the 2nd *)
and mqlist =
- | MQReference of mqref (* reference *)
+ | MQReference of string list (* reference list *)
| MQPattern of mqtref (* pattern *)
| MQListLVar of mqlvar (* lvar *)
| MQListRVar of mqrvar (* rvar *)
| MQSortedBy of mqlist * mqorder * mqfunc (* ordering *)
| MQDiff of mqlist * mqlist (* set difference *)
| MQLetIn of mqlvar * mqlist * mqlist (* explicit lvar assignment *)
- | MQMinimize of mqlist (* list minimization *)
-
+
type mquery =
| MQList of mqlist
(* main type is mqresult *)
type mqresult =
- | MQRefs of mqref list
+ | MQRefs of string list