sig
  val get_transformation :
    Target.target ->
    Typed_ast.env ->
    Typed_ast.checked_module -> Typed_ast.env * Typed_ast.checked_module
  val get_avoid_f :
    Target.target -> Typed_ast.NameSet.t -> Typed_ast.var_avoid_f
  val add_used_entities_to_avoid_names :
    Typed_ast.env ->
    Target.target ->
    Typed_ast_syntax.used_entities ->
    Typed_ast.NameSet.t -> Typed_ast.NameSet.t
  val rename_def_params :
    Target.target ->
    Typed_ast.NameSet.t ->
    Typed_ast.checked_module list -> Typed_ast.checked_module list
  val ident_force_pattern_compile : bool Pervasives.ref
  val ident_force_dictionary_passing : bool Pervasives.ref
end