Module Polynomial

module Polynomial: sig .. end

module type S = sig .. end

module Make: 
functor (SC : Scalar.S) -> S  with module Coeff = SC

module Q: S  with module Coeff = Scalar.Q

module Float: S  with module Coeff = Scalar.Float