Class type Strategy.heuristic

class type heuristic = object .. end

method id : string
method title : string
method descr : string
method search : (strategy -> unit) -> Conditions.sequent -> unit