sig
  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
end