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