sig
  val map :
    Mapper.mapper -> Syntax.modification_value -> Syntax.modification_value
end