sig type id val add : ?prio:int -> (unit -> bool) -> Glib.Idle.id val remove : Glib.Idle.id -> unit end