More Under The Hood

Here's the part of the Pattern class that implements the "&" operator:

class Pattern:
   ...
   def __and__ (self, other): # self & other
      return AndP (self, other)
   ...