module type Exp_context = sig .. end
val env_opt : Typed_ast.env option
The environment the expressions are considered in
val avoid : Typed_ast.var_avoid_f option
Avoiding certain names for local variables. Given a name and a set of
names that must be avoided, choose a new name if necessary