sig
  val map :
    Mapper.mapper ->
    Syntax.statement_desc Syntax.commented ->
    Syntax.statement_desc Syntax.commented
end