Class virtual LogtkPrologTerm.visitor

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

method virtual var : ?loc:location -> string -> 'a
method virtual int_ : ?loc:location -> Z.t -> 'a
method virtual rat_ : ?loc:location -> Q.t -> 'a
method virtual const : ?loc:location -> LogtkSymbol.t -> 'a
method virtual syntactic : ?loc:location -> LogtkSymbol.t -> 'a list -> 'a
method virtual app : ?loc:location -> 'a -> 'a list -> 'a
method virtual bind : ?loc:location -> LogtkSymbol.t -> 'a list -> 'a -> 'a
method virtual list_ : ?loc:location -> 'a list -> 'a
method virtual record : ?loc:location -> (string * 'a) list -> 'a option -> 'a
method virtual column : ?loc:location -> 'a -> 'a -> 'a
method visit : t -> 'a