Class type Generator.computer

class type computer = object .. end

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