https://en.wikipedia.org/wiki/Subtypingarrow-up-right
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
Last updated 4 years ago