(f: Optional[int], t: int)
| 420 | return [TypedVar(v, resolve_type(v)) for v in vs] |
| 421 | |
| 422 | def add_seq(f: Optional[int], t: int): |
| 423 | if f is not None: |
| 424 | edges.append(EdgeIR("seq", from_node=f, to_node=t)) |
| 425 | |
| 426 | # ---------- Recursive body-step parser ---------- |
| 427 | def parse_body_steps(body_steps: list, body_prev: Optional[int]) -> tuple: |
no test coverage detected