module def