feat: importModules without loading environment extensions#6325
Draft
Kha wants to merge 1 commit intoleanprover:masterfrom Kha:push-mtllrxtzuprp
+95-83
importModules without loading environment extensions#6325