sig
val
env_opt :
Typed_ast
.env option
val
avoid :
Typed_ast
.var_avoid_f option
end