(self)
| 359 | |
| 360 | @contextual |
| 361 | def inst_def(self) -> InstDef | None: |
| 362 | if hdr := self.inst_header(): |
| 363 | block = self.block() |
| 364 | return InstDef( |
| 365 | hdr.annotations, |
| 366 | hdr.kind, |
| 367 | hdr.name, |
| 368 | hdr.inputs, |
| 369 | hdr.outputs, |
| 370 | block, |
| 371 | ) |
| 372 | return None |
| 373 | |
| 374 | @contextual |
| 375 | def inst_header(self) -> InstHeader | None: |
no test coverage detected