Module LogtkHOTerm.Pos

module Pos: sig .. end

val at : LogtkHOTerm.t -> LogtkPosition.t -> LogtkHOTerm.t
retrieve subterm at pos
Raises Invalid_argument if the position is invalid
val replace : LogtkHOTerm.t -> LogtkPosition.t -> by:LogtkHOTerm.t -> LogtkHOTerm.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