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