Module Rename_top_level

module Rename_top_level: sig .. end
renaming and module flattening for some targets

val flatten_modules : Path.t -> Typed_ast.env -> Typed_ast.def list -> Typed_ast.def list
val rename_defs_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.