let
on_function kf =
fun
do_body
->
on_definition do_body kf