<< §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 >> |