nadtyp

Nadtyp to typ, który ma co najmniej jeden podtyp. Wszelkie operacje obsługiwane przez nadtyp muszą być również obsługiwane przez wszystkie podtypy.