nitc :: MModule :: _in_importation
model.mmodule_importation_hierarchy
# The view of the module in the `model.mmodule_importation_hierarchy` var in_importation: POSetElement[MModule] is noinit