Class type Conditions.simplifier

class type simplifier = object .. end

method name : string
method copy : simplifier
method assume : Lang.F.pred -> unit
method target : Lang.F.pred -> unit
method fixpoint : unit
method simplify : Lang.F.pred -> Lang.F.pred
method infer : Lang.F.pred list