Описание тега first-class-modules
Используйте этот тег для вопросов, связанных с передачей модулей в качестве значений, и, в частности, с функцией в [ocaml] упаковки модуля и подписи модуля вместе в качестве значения.
Модули первого класса - это, аналогично функциям первого класса, модули, передаваемые как значения. В ocaml этот термин относится конкретно к концепции упаковки модуля вместе с подписью модуля в значение. То есть модули неявно не являются первоклассными, но могут быть преобразованы в значение и должны быть позже распакованы перед использованием.