Class LogtkHOTerm.id_visitor

class id_visitor : object .. end
Visitor that maps the subterms into themselves

method var : LogtkType.t -> int -> t
method rigid_var : LogtkType.t -> int -> t
method bvar : LogtkType.t -> int -> t
method lambda : LogtkType.t -> t -> t
method const : LogtkType.t -> LogtkSymbol.t -> t
method at : t -> t -> t
method tyat : t -> LogtkType.t -> t
method multiset : LogtkType.t -> t list -> t
method record : (string * t) list -> t option -> t
method visit : t -> t