Module type `Inequalities.Container_SIG`

module Make
  (P : Polynome.T with type r = Shostak.Combine.r) : 
  S with type p = P.t