module PSet: Set.S with type elt = OrderedPoly.polynomial
Set.S
with type elt = OrderedPoly.polynomial