An implementation of
representing types of sequences in TFF.
Constructs a new instance from the given
element: A specification of the element type, either an instance of
tff.Typeor something convertible to it by
Determines whether two type definitions are identical.
Note that this notion of equality is stronger than equivalence. Two types with equivalent definitions may not be identical, e.g., if they represent templates with differently named type variables in their definitions.
other: The other type to compare against.
True iff type definitions are syntatically identical (as defined above), or
NotImplementedError: If not implemented in the derived class.