let eq s1 s2 =              
  Partition.eq s1.p s2.p && 
  Combine.E.eq s1.eqs s2.eqs