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