static LS dm_modulesWithLibID(fS moduleLibID) {
  ret [S m : dm_moduleIDs() | eq(dm_moduleLibID(m), moduleLibID)];
}