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