Supertype
= Supertype
{title2=$T<:S$}
A type $S$ is a supertype of $T$ when $T$ is a <subtype> of $S$. A <lower type bound> requires an admissible <type argument> to lie above a specified type in this <subtyping> relation.
= Supertype
{title2=$T<:S$}
A type $S$ is a supertype of $T$ when $T$ is a <subtype> of $S$. A <lower type bound> requires an admissible <type argument> to lie above a specified type in this <subtyping> relation.