blob: e09cf09bd8974fc668f43943f2000464e5a0fcb1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(* Binary tree with leaves carrying an integer. *)
type tree = Leaf of int | Node of tree * tree
let rec exists_leaf test tree =
match tree with
| Leaf v -> test v
| Node (left, right) ->
exists_leaf test left
|| exists_leaf test right
let has_even_leaf tree =
exists_leaf (fun n -> n mod 2 = 0) tree
|
