package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Visitor that maps the subterms into themselves

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