Nemerle Documentation

TypeBuilder.SuperType Method 

Return list of type parameters under which we subtype given type.

public override option SuperType(
   TypeInfo ti
);

Remarks

For example if [A ['a] :> B [int]], then ["A".SuperType ("B")] returns [[int]]. This information can be also fetched from [GetDirectSuperTypes()] method but this function is transitive.

See Also

TypeBuilder Class | Nemerle.Compiler Namespace