Module type Core__Import.Unit