5.2.2 isSuperType

Introduction

The isSubType goal is used to check whether one type is a supertype of another.

Signature

isSuperType(T1,T2)

Operation

This goal checks whether T1 is a supertype of T2.

This is analogous to isSubType, it just looks upwards instead of downwards in the type-hierarchy.


PrevLite: 5.2.1 isSubType
NextLite: 5.2.3 isInstance

Prev: 5.2.1 isSubType
Up: 5.2 Type goals
Next: 5.2.3 isInstance