val push : ( unit -> unit ) -> unit
push action registers the action to be executed by the mainloop at the start of the next frame, or at a subsequent frame if the queue is already large.
push action
action