Module AltErgoLib.Arith

module Type (X : Sig.X) : Polynome.T with type r = X.r
module Shostak (X : Sig.X) (P : Polynome.EXTENDED_Polynome with type r = X.r) : Sig.SHOSTAK with type r = X.r and type t = P.t