sig val push : Bogue.Widget.t -> unit end