A SERVICE OF

logo

3.4. TYPE DEFINITIONS 33
Thus, recursive types are a powerful addition to the language.