Class virtual LogtkHOTerm.any_visitor

class virtual ['a] any_visitor : object .. end

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