check_marker

Kind: production

Record: pag:production-check-marker

Canonical: Grammar

"[check]" | "ASSERT" | "REQUIRE"

Listed in Grammar records, after check_line and before population_clause.

Grounds

• node:ver-evidence

Linked from

• The nodes