Module type generation
Module type generation