val err_msgs : Includemod.explanation Format_doc.printerval coercion_in_package_subtype :
Env.t ->
Types.module_type ->
Typedtree.module_coercion ->
Format_doc.docval err_msgs : Includemod.explanation Format_doc.printerval coercion_in_package_subtype :
Env.t ->
Types.module_type ->
Typedtree.module_coercion ->
Format_doc.doc