module type Protocol = sig .. end
sig
end
val get_requests : unit -> Why3.Itp_communication.ide_request list
unit -> Why3.Itp_communication.ide_request list
val notify : Why3.Itp_communication.notification -> unit
Why3.Itp_communication.notification -> unit