Type expressions -- conformance
  • basic types -- Boolean, Integer
  • formal parameter types -- Array[T], List[T] - class types -- user-defined
  • anchored types -- like current

Value expressions
  • arithmetic, comparison, method evaluation -- o.m(...)

Assignment
  • var := expression
slide: Eiffel -- type expressions