Циклически перебирать массив, если вы находите элемент большего размера или если элемент не равен?
function Check_Largest (In_Array : Array_Type; Value : Element_Type)
return Boolean
is
Matched : Boolean := False;
begin
for J in In_Array'Range loop
if In_Array (J) > Value then
return False;
elsif In_Array (J) = Value then
Matched := True;
end if;
end loop;
return Matched;
end Check_Largest;