Revision history [back]

Never mind, figured it out. I had accidentally deleted a line from _element_constructor. It should read

class IntArrays(UniqueRepresentation, Parent):
  def __init__(self):
    Parent.__init__(self, category = Sets())

  def _element_constructor_(self, *args, **keywords):
    return self.element_class(self, *args, **keywords)

  Element = IntArray