- | 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
-
+ | 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)