| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| integer(kind=int32), | intent(in) | :: | V(:) |
pure function is_set_integer_int32 (V) result(res) integer (int32), intent(in) :: V(:) logical :: res integer(int32) :: previous integer :: i res = is_sorted(V) if (res) then if (size(V) > 0) previous = V(1) do i = 2, size(V) if (V(i) == previous) then res = .false. return else previous = V(i) end if end do end if end function is_set_integer_int32