next up previous contents index
Next: Member Types Up: More About Types in Previous: More Types Meaningful   Contents   Index


Canonicalization

equivalence canonicalization of types equivalence of types

When given a type specifier, Python will often rewrite it into a different (but equivalent) type. This is the mechanism that Python uses for detecting type equivalence. For example, in Python's canonical representation, these types are equivalent:

(or list (member :end)) $\equiv$(or cons (member nil :end))
This has two implications for the user:



Peter Van Eynde 2001-03-08