invariant_record
Kind: production
Record: pag:production-invariant-record
Canonical: Grammar
"INVARIANT" <name> ":" <property> "over:" <set> "binds:" <parties> "objector:" (<check_ref> | "none")
Listed in Grammar records, after invariant_block and before report_block.