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