Class ProverWhy3.why3ide

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