let v_pos = M.Const ["MainConclusion"; "InConclusion"] in
let q_where = M.Sub (M.RefOf (
M.Select ("uri",
- M.Relation (M.ExactOp, "refObj", M.RVar "uri0", ["pos"]),
+ M.Relation (M.ExactOp, ["refObj"], M.RVar "uri0", ["pos"]),
M.Ex (M.Meet (M.VVar "positions", M.Record ("uri", "pos")))
)), M.VVar "universe"
)
let build_select (r, b, v) =
let pos = if b then "MainConclusion" else "InConclusion" in
M.Select ("uri",
- M.Relation (M.ExactOp, "backPointer", M.Ref (M.Const [r]), ["pos"]),
+ M.Relation (M.ExactOp, ["backPointer"], M.Ref (M.Const [r]), ["pos"]),
M.Ex (M.Sub (M.Const [pos], M.Record ("uri", "pos")))
)
in