Class type Generator.computer

class type computer = object .. end

method lemma : bool
method model : WpContext.model
method add_strategy : WpStrategy.strategy -> unit
method add_lemma : LogicUsage.logic_lemma -> unit
method compute : Wpo.t Bag.t