-
Kim Nguyễn authored
Do not generate equations for monomorphic variables, during the generation of type equation from constraints.
bb37c0ca
Do not generate equations for monomorphic variables, during the generation of type equation from constraints.