sig
  val at : FOTerm.t -> Position.t -> FOTerm.t
  val replace : FOTerm.t -> Position.t -> by:FOTerm.t -> FOTerm.t
end