static LS dm_modulesWithSuperclassShortNamed(S name) { ret filter(dm_listModuleIDs(), mod -> hasSuperclassShortNamed(dm_mod(mod), name)); }