You are on page 1of 1

type = public set of operations

type of x = type of y (interfaces)


type of x > type of y (subtypes)
x = object

You might also like