Fig. 5From: Ambiguity and context-dependent overloadingConstraints reachable from a set of type variablesBack to article page