Actually, it’s a “functional dependency”. In this case that means that m
uniquely identifies w
— the type m
determines the type w
. (This may be a better link.)
Actually, it’s a “functional dependency”. In this case that means that m
uniquely identifies w
— the type m
determines the type w
. (This may be a better link.)