sig type id = Glib.Idle.id val add : callback:(unit -> bool) -> GMain.Idle.id val remove : GMain.Idle.id -> unit end