sig
  val get_requests : unit -> Itp_communication.ide_request list
  val notify : Itp_communication.notification -> unit
end