sortedby_ex (execute_ex env l) o f
| MQIntersect (l1, l2) ->
intersect_ex (execute_ex env l1) (execute_ex env l2)
- | MQRVarOccur rvar -> [List.assoc rvar env]
+ | MQLRVar rvar -> [List.assoc rvar env]
;;
(* Let's initialize the execute in Select, creating a cyclical recursion *)