Module Fuzzy_vs_fuzzy

module type PARAM = sig ... end
module X_VS_X (X : PARAM) : sig ... end