Fig. 2From: Ambiguity and context-dependent overloadingTypes, constraints and meta-variable usageBack to article page