Module InnerTerm.Pos

module Pos: sig .. end

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

retrieve subterm at pos, or raise Invalid_argument

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

replace t|_p by the second term