sig
  val map :
    Mapper.mapper ->
    string Location.loc option Syntax.annotated ->
    string Location.loc option Syntax.annotated
end