let on_function kf = fun do_body -> on_definition do_body kf