(* Languages with pattern matching ALREADY HAVE THIS! *)

let myfunc pred1 pred2 =
  match (pred1, pred2) with
  | (true, true) -> print_endline ("(true, true)");
  | (true, false) -> print_endline ("(true, false)");
  | (false, true) -> print_endline ("(false, true)");
  | (false, false) -> print_endline ("(false, false)");;

myfunc true true;;
myfunc true false;;
myfunc false true;;
myfunc false false;;