;;
let q3 () = problem_of
- (Some "x")
+ (Some "x y")
["a d e f"]
["a b" ]
;;
;;
let q5 () = problem_of
- (Some"x")
+ (Some"x y")
["(y. x)"]
["x"]
;;
let q6 () = problem_of
- (Some"x")
+ (Some"x w")
["(y. x z)"]
["y"]
;;
let o6 () = problem_of (Some"x BOMB") ["x y"] [];;
solve_many (List.map ((|>) ()) [
- o1; o2; o3; o4; o5; o6
+ o1; o2; o3; o4; (*o5; o6*)
]);;
should_fail(fun () -> problem_of None ["BOT"] []);;