最近的OCaml 3.12引入了一项一流的打包模块的功能，详情请参见特性说明：
请问哪里可以找到使用此功能的有启发性的示例或文献？一流打包模块。
- 新的类型表达式，用于打包模块：
(module PT)- 新的表达式类型，用于将模块打包为一等值：
(module MODEXPR : PT)- 新的模块表达式类型，用于将一等值解包为模块：
(val EXPR : PT)- PT是形如
S或S with type t1 = ... and ... and type tn = ...（S是指一个模块类型）的打包类型。