checked
Description:
Gets emitted whenever the structure and contents of stmt have been verified (emitted after
check_validity).
Parameters:
| cnc | |
| checked |
whether |
Gets emitted whenever the structure and contents of stmt have been verified (emitted after
check_validity).
| cnc | |
| checked |
whether |