Module Ui_time_source.Private

val flush : t -> unit

Users should not need to call this function, since it is managed by Bonsai. Triggers any alarms that have been enqueued.

val trigger_before_display : t -> unit

Users should not need to call this function, since it is managed by Bonsai. Triggers any wait_before_display effects that are waiting to run.

val has_before_display_events : t -> bool

Users should not need to call this function, since it is managed by Bonsai. Says whether there are any wait_before_display effects that are waiting to run.

val trigger_after_display : t -> unit

Users should not need to call this function, since it is managed by Bonsai. Triggers any wait_after_display effects that are waiting to run.

val has_after_display_events : t -> bool

Users should not need to call this function, since it is managed by Bonsai. Says whether there are any wait_after_display effects that are waiting to run.