Module Logtk__Term.Pos

val at : t -> Logtk.Position.t -> t

retrieve subterm at pos

raises Invalid_argument

if the position is invalid

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

replace t pos ~by replaces the subterm at position pos in t by the term by. The two terms should have the same type.

raises Invalid_argument

if the position is not valid