style edit

This commit is contained in:
Simon Cruanes 2018-10-08 20:48:02 -05:00
parent 1e21784ce1
commit e22a55668d

View file

@ -383,11 +383,11 @@ let count f l =
*) *)
let count_true_false p l = let count_true_false p l =
fold_left (fun (ok, ko) x -> fold_left
if p x then (ok + 1, ko) (fun (ok, ko) x ->
else (ok, ko + 1) if p x then ok + 1, ko
) (0, 0) l else ok, ko + 1)
(0, 0) l
(*$T (*$T
count_true_false (fun x -> x mod 2 = 0) [] = (0, 0) count_true_false (fun x -> x mod 2 = 0) [] = (0, 0)
count_true_false (fun x -> x mod 2 = 0) [0; 0; 2; 4] = (4, 0) count_true_false (fun x -> x mod 2 = 0) [0; 0; 2; 4] = (4, 0)