class type heuristic = object .. end
object
end
method id : string
string
method title : string
method descr : string
method search : (strategy -> unit) -> Conditions.sequent -> unit
(strategy -> unit) -> Conditions.sequent -> unit