Parameter Make.1-M

val label : Core_kernel__.Import.string
val module_name : Core_kernel__.Import.string