supertipo

Un supertipo es un tipo que tiene, al menos, un subtipo. Cualquier operación que admita el supertipo también debe admitirla cualquier subtipo. En Verse, any es el único supertipo; el resto de los tipos son subtipos de any. El tipo comparable es un supertipo de todos los tipos que son comparables en Verse, como int y float.