TypeInfo.SuperType Method

If this tycon subtypes [tycon], then return instantiation using which we subtype it.

public abstract option SuperType(
TypeInfo tycon
);