Chapter 4. Type of KerMeta expressions
Prev
Next
Chapter 4. Type of KerMeta expressions
This section details the static computation of type of each kind of expression.