class computer : object .. end
object
end
val mutable wptasks : (Cil2cfg.t * WpAnnot.strategy list) list
(Cil2cfg.t * WpAnnot.strategy list) list
val mutable exported : 'a option
'a option
method add : Cil2cfg.t -> WpAnnot.strategy list -> unit
Cil2cfg.t -> WpAnnot.strategy list -> unit
method compute : Wpo.t list
Wpo.t list