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 list (* reference list *)
- | MQPattern of mqtref list (* pattern list *)
+ | MQReference of string list (* reference list *)
+ | MQPattern of mqtref (* pattern *)
| MQListLVar of mqlvar (* lvar *)
| MQListRVar of mqrvar (* rvar *)
| MQSelect of mqrvar * mqlist * mqbool (* rvar, list, boolean *)
| 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