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
val at : t -> LogtkPosition.t -> tretrieve subterm at pos, or raise Invalid_argument
val replace : t -> LogtkPosition.t -> by:t -> treplace t|_p by the second term