Module LogtkFOTerm.Pos

module Pos: sig .. end

val at : LogtkFOTerm.t -> LogtkPosition.t -> LogtkFOTerm.t
retrieve subterm at pos
Raises Invalid_argument if the position is invalid
val replace : LogtkFOTerm.t -> LogtkPosition.t -> by:LogtkFOTerm.t -> LogtkFOTerm.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
val at_cpos : LogtkFOTerm.t -> int -> LogtkFOTerm.t
retrieve subterm at the compact pos, or raise Invalid_argument
val max_cpos : LogtkFOTerm.t -> int
maximum compact position in the term