Last updated 3 years ago
Was this helpful?
In type theory the concept of subsumption is used to define or evaluate whether a type S is a subtype of type T.
S
T