模块提供了一种组织QL代码的方法，通过将相关类型、谓词和其他模块组合在一起。模块分为文件模块、库模块和查询模块，分别由.ql和.qll文件定义。可以通过导入语句将外部模块的内容引入当前模块的名称空间，以避免重复并提高代码结构的可管理性。