Module Rename_top_level

module Rename_top_level: sig .. end

val flatten_modules : Path.t -> Typed_ast.env -> Typed_ast.def list -> Typed_ast.def list

val rename_defs_target : Target.target ->
       Typed_ast_syntax.used_entities ->
       Typed_ast.NameSet.t -> Typed_ast.env -> Typed_ast.env

rename_target topt ue consts e processes the entities (constants, constructors, types, modules ...) stored in ue and renames them for target topt. This renaming is target specific. It avoids the names in set consts and modifies the descriptions of constants, types, etc. in environment e. The modified environment is returned.