Searched defs:Verification (Results 1 – 4 of 4) sorted by relevance
102 ## Verification section in The `Broadcastable` Trait
207 `hasOperationAttrVerify`Defining Dialects""Defining a Dialect""Discardable Attribute Verification global() argument 218 `hasRegionArgAttrVerify`Defining Dialects""Defining a Dialect""Discardable Attribute Verification global() argument 238 `hasRegionResultAttrVerify`Defining Dialects""Defining a Dialect""Discardable Attribute Verification global() argument
948 ### Verification subsection
395 ### Verification global() subsection