# _EmptyIterator\[T: T\]
<span class="source-link">[[Source]](src/pony_check/property_runner.md#L-0-421)</span>
```pony
class ref _EmptyIterator[T: T]
```

## Constructors

### create
<span class="source-link">[[Source]](src/pony_check/property_runner.md#L-0-421)</span>


```pony
new iso create()
: _EmptyIterator[T] iso^
```

#### Returns

* [_EmptyIterator](pony_check-_EmptyIterator.md)\[T\] iso^

---

## Public Functions

### has_next
<span class="source-link">[[Source]](src/pony_check/property_runner.md#L-0-422)</span>


```pony
fun ref has_next()
: Bool val
```

#### Returns

* [Bool](builtin-Bool.md) val

---

### next
<span class="source-link">[[Source]](src/pony_check/property_runner.md#L-0-423)</span>


```pony
fun ref next()
: T^ ?
```

#### Returns

* T^ ?

---

