functor (M : Sigs.Compiler-> Mcfg.S