tree 1d112e7ab64b99e432bc6508c1d550bd49f81345
parent 7d174afaaaf084fe85772b1e60db1a945947f83e
author Ian Zerny <zerny@google.com> 1718738789 +0200
committer Ian Zerny <zerny@google.com> 1718869237 +0000

[KeepAnno] Add bindings to check declarations

This change aligns checks with edges and allows more uniform
parsing. Follow-up CLs will start normalizing the AST to only
allow references in the precondition and consequence sets.

Bug: b/343389186
Change-Id: I541709dd01717633f4d2024945a7e7ec1d23523e