logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . InnerTerm . Pos
val at : t -> Position.t -> t

retrieve subterm at pos, or raise Invalid_argument

val replace : t -> Position.t -> by:t -> t

replace t|_p by the second term