How to select a checked attribute in a while loop?

Question

PHP

while($arEnum = $UF_TIP_COMPANY->GetNext()){
          echo "<label><input type='checkbox' value='".$arEnum["ID"]."' name='UF_TIP_COMPANY[]'";
if(key($UF_TIP_COMPANY->GetNext())){ echo "checked";}
          echo">".$arEnum["VALUE"]."</label><br />";
        }

So it displays only the selected ones, but how to implement something to display everything?
Example
https://dev.1c-bitrix.ru/api_help/main/reference/c... It
remains just to remove duplicates

<? 
          while($arEnum = $UF_TIP_COMPANY->GetNext()){
            foreach($ppi as $key=>$value){
              //echo $arEnum['ID']."=>".$value."<br />";
              echo "<label><input type='checkbox' value='".$arEnum["ID"]."' ";
              if($arEnum["ID"]==$value){
                echo "checked";
              }
              echo " name='UF_TIP_COMPANY[]' />".$arEnum["VALUE"]."</label><br />";
            }
          }
        ?>

Answer 1

The brain exploded.
"He" is who? Loop or GetNext method?