Error codes · Payments

PW6401

invoked_command_requires

The program must hold to this: a command the platform invokes holds no reader to a predicate: it declares no requires.

Reading the diagnostic

pw check prints the code in brackets, [PW6401], 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.