package logtk

retrieve subterm at pos

• raises Invalid_argument

  if the position is invalid

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