8.2 Basic Concepts

8.2.1 Variables and Regions

8.2.2 True and False

8.2.3 External Representations

8.2.4 Disjointness of Types