(* You can also avoid declaring a separate toplevel TreeReader module
* (or even a separate Reader_monad module) by using one of these forms:
* ...
* let module T = Tree_monadizer(Reader_monad) in
(* You can also avoid declaring a separate toplevel TreeReader module
* (or even a separate Reader_monad module) by using one of these forms:
* ...
* let module T = Tree_monadizer(Reader_monad) in
(* replace leaves with list, using continuation *)
let initial_continuation = fun t -> t in
(* replace leaves with list, using continuation *)
let initial_continuation = fun t -> t in
(* count leaves, using continuation *)
let initial_continuation = fun t -> 0 in
(* count leaves, using continuation *)
let initial_continuation = fun t -> 0 in