module Make2 (A : Poly.ANNEAU) (X : Poly.VAR) (Y : Poly.VAR) : Poly.POLYNOME = struct module PX = Poly.Make (A) (X) include Poly.Make (PX) (Y) end |
PX
utilisés comme coefficients est abstrait et on ne peut plus l'utiliser. Il
faut donc créer les polynômes en XY en deux étapes et donner un accès à
la structure intermédiaire PX
.