Module verification 

Structs

VerificationIssue

One verification issue tied to a link.

VerificationReport

Result of verifying that a source region fully matches a language.

Enums

VerificationIssueKind

Verification issue kind for a full-match check.