Add lambdas for partial constructor application

coalgcompare.ml

@@ -145,8 +145,8 @@ let doTestK () : testresults =
   let timeout = 300 in (* 5 minutes *)
   let lF = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lFF = [((fun x -> C.NOT x),1)] in
-  let lFFF = [(C.AND,1),(C.OR,1)] in
-  let lPFF = [(C.EX,1),(C.AX,1)] in
+  let lFFF = [((fun x y -> C.AND x y),1), ((fun x y -> C.OR x y),1)] in
+  let lPFF = [(fun p f -> C.EX p f,1),(fun p f -> C.AX p f,1)] in
   (* role names *)
   let lP = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lPP = [] in