class why3ide : includes:string list -> files:Wp_parameters.WhyFlags.t -> session:string -> object .. end
includes:string list -> files:Wp_parameters.WhyFlags.t -> session:string ->
object
end
ProverTask.command
method start : unit -> int Task.task
unit -> int Task.task