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