| << §A.7 Guard predicates | ↑ Table of Contents ↑ | §A.9 Value dependent types >> |
§A.8 Precedence declaration
| § A.8.1 | PrecedenceDeclaration precedence [after] CallinNameList ; |
| § A.8.2 | CallinNameList Name [, CallinNameList] |
| << §A.7 Guard predicates | ↑ Table of Contents ↑ | §A.9 Value dependent types >> |
