Module LogtkScopedTerm.Pos

module Pos: sig .. end

val at : LogtkScopedTerm.t -> LogtkPosition.t -> LogtkScopedTerm.t
retrieve subterm at pos, or raise Invalid_argument
val replace : LogtkScopedTerm.t ->
LogtkPosition.t -> by:LogtkScopedTerm.t -> LogtkScopedTerm.t
replace t|_p by the second term