package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Visitor that maps the subterms into themselves
method var : LogtkType.t -> int -> tmethod bvar : LogtkType.t -> int -> tmethod lambda : LogtkType.t -> t -> tmethod forall : LogtkType.t -> t -> tmethod exists : LogtkType.t -> t -> tmethod const : LogtkType.t -> LogtkSymbol.t -> tmethod tylift : LogtkType.t -> tmethod multiset : LogtkType.t -> t list -> t