(M.Select
("uri",
M.Relation
- (false, M.RefineExact, in_path "refObj", M.RVar "uri0",
+ (false, M.RefineExact, in_path "refObj",
+ M.Ref (M.RefOf (M.RVar "uri0")),
[assign "pos" "position"]),
M.Ex ["uri"]
(M.Meet (M.VVar "positions", M.Record ("uri", in_path "pos")))