Error codes · Declarations and their clauses
PW0351
predicate_declared
The program must hold to this: a predicate a program declares says, in one string with no hole, what a reader is told when it refuses, is declared once, and is given its parameters by type wherever a requires names it.
The decisions behind it
Reading the diagnostic
pw check prints the code in brackets, [PW0351], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.