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