Module `Logtk__InnerTerm.Pos`

val at : t -> Logtk.Position.t -> t: retrieve subterm at pos, or raise Invalid_argument

val replace : t -> Logtk.Position.t -> by:t -> t: replace t|_p by the second term