Module Fm (.ml)

module Fm: sig .. end

module type EXTENDED_Polynome = sig .. end

module Make: 
functor (X : Sig.X) -> 
functor (P : EXTENDED_Polynome  with type r = X.r) -> Sig.RELATION  with type r = X.r