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