| 9752 | |
| 9753 | |
| 9754 | class EqualityValueInfo: |
| 9755 | def __init__(self, domains: dict[str, EqualityDomainInfo], is_top: bool) -> None: |
| 9756 | self.domains = domains |
| 9757 | self.is_top = is_top |
| 9758 | |
| 9759 | |
| 9760 | def partition_equality_ambiguous_types( |
no outgoing calls
no test coverage detected
searching dependent graphs…