-
Kim Nguyễn authored
Refresh the type of variables in the environement to avoid clash with variables of the interface of the function being typed.
3a5b8d29
Refresh the type of variables in the environement to avoid clash with variables of the interface of the function being typed.