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)
