functor (Config : ConfigInt.Type-> Interface