section: < previous | next >

| |

chapter: << previous | next >>

---

Constraints with their context, conditions and navigation expressions build up the first two parts of the type graph.

Fig. 2 Type graph part I for VOCL

---

section: < previous | next >

| |

chapter: << previous | next >>