Module type Fm.EXTENDED_Polynome

module type EXTENDED_Polynome = sig .. end

include Polynome.T

val poly_of : r -> t

val alien_of : t -> r