class type computer = object .. end
object
end
method lemma : bool
bool
method model : WpContext.model
WpContext.model
method add_strategy : WpStrategy.strategy -> unit
WpStrategy.strategy -> unit
method add_lemma : LogicUsage.logic_lemma -> unit
LogicUsage.logic_lemma -> unit
method compute : Wpo.t Bag.t
Wpo.t Bag.t