def test_negative_examples(self, type_spec): self.assertFalse(type_analysis.is_sum_compatible(type_spec))
def test_positive_examples(self, type_spec): self.assertTrue(type_analysis.is_sum_compatible(type_spec))
def test_negative_examples(self, type_spec): self.assertFalse(type_analysis.is_sum_compatible(type_spec))
def test_positive_examples(self, type_spec): self.assertTrue(type_analysis.is_sum_compatible(type_spec))