Definition:Generated Module