Module FOTerm.Pos

module Pos: sig .. end

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

retrieve subterm at pos
Raises Invalid_argument if the position is invalid

val replace : FOTerm.t -> Position.t -> by:FOTerm.t -> FOTerm.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