let eq s t =              
  Partition.eq s.p t.p &&
  (Array.for_all2 
    (fun eqs1 eqs2 -> 
       Solution.eq eqs1 eqs2) 
    s.eqs t.eqs)