fork download
  1. let swap (a, b) = (b, a)
  2.  
  3. let rec test_1 b ff x y =
  4. match b with
  5. | None -> (fst ff) x y
  6. | Some true -> test_2 None ff x y
  7. | Some false -> test_2 None (swap ff) y x
  8. and test_2 b ff x y =
  9. match b with
  10. | None -> (fst ff) x y
  11. | Some true -> test_1 None ff x y
  12. | Some false -> test_1 None (swap ff) y x
Success #stdin #stdout 0.01s 2736KB
stdin
Standard input is empty
stdout
Standard output is empty