Inheritance semantics

Redirect to:

• Behavioral subtyping