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