Searched defs:moduleFreeHoles (Results 1 – 4 of 4) sorted by relevance
355 moduleFreeHoles (Module HoleUnit name) = unitUniqDSet name function356 moduleFreeHoles (Module u _ ) = unitFreeModuleHoles u function
373 moduleFreeHoles (Module HoleUnit name) = unitUniqDSet name function374 moduleFreeHoles (Module u _ ) = unitFreeModuleHoles u function
434 moduleFreeHoles m function