(self, i: int)
| 652 | return len(self._assertions) |
| 653 | |
| 654 | def __getitem__(self, i: int) -> BoolRef: |
| 655 | return self._assertions[i] |
| 656 | |
| 657 | def __iter__(self): |
| 658 | return iter(self._assertions) |
nothing calls this directly
no outgoing calls
no test coverage detected