Class CfgProof.Create.computer


class computer : object .. end

val mutable wptasks : WpStrategy.strategy list list
val mutable exported : 'a option
method add : WpStrategy.strategy list -> unit
method compute : Wpo.t list