def test_degen(self): s = NamedOpetope.point("x") s = NamedOpetope.degen(s) self.assertEqual( s.typing.term, NamedOpetope.Term(NamedOpetope.Variable("x", 0), True)) self.assertEqual(len(s.context), 1) with self.assertRaises(DerivationError): NamedOpetope.degen(s)
def test_point(self): s = NamedOpetope.point("x") self.assertEqual(s.typing.term, NamedOpetope.Term(NamedOpetope.Variable("x", 0))) self.assertEqual(len(s.context), 1)