How to Check Array Empty in Ada - Code Snippet

-- Task: Check Array Empty
-- Language: Ada

procedure check_array_empty() is begin
    -- Implementation for Check Array Empty
    -- TODO: Implement core logic here
    -- Step 1: Prepare data
    -- Step 2: Process Check Array Empty
    Put_Line("Done");
end;