(self)
| 649 | return f"[{', '.join(repr(a) for a in self._assertions)}]" |
| 650 | |
| 651 | def __len__(self) -> int: |
| 652 | return len(self._assertions) |
| 653 | |
| 654 | def __getitem__(self, i: int) -> BoolRef: |
| 655 | return self._assertions[i] |
nothing calls this directly
no outgoing calls
no test coverage detected