(bind-func Widget_walk_postorder
(lambda (widget:Widget* visit_fn:[Widget*,Widget*]*)
(if (null? widget)
widget
(begin
(Widget_walk_postorder (Widget_left_child widget) visit_fn)
(Widget_walk_postorder (Widget_right_child widget) visit_fn)
(visit_fn widget)
null))))