- | MathQL.Sub (vexp1, vexp2) -> sub_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
- | MathQL.Meet (vexp1, vexp2) -> meet_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
+ | MathQL.Sub (vexp1, vexp2) -> let res = sub_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
+ in
+ if res then (print_endline"SUB: TRUE";flush stdout)
+ else (print_endline"SUB: FALSE";flush stdout);
+ res
+ | MathQL.Meet (vexp1, vexp2) -> let res = meet_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
+ in
+ if res then (print_endline"MEET: TRUE";flush stdout)
+ else (print_endline"MEET: FALSE";flush stdout);
+ res
+