Assertion: elaboration | /r/CapableOf | switch set suppress elaboration_check
Facets:
value: for the called subprogram
type: TRANSITIVE-OBJECT
Source sentences:
text: Elaborations switch set Suppress Elaboration_Check for the called subprogram