Module type Iterator.Infinite

Infinite iterators produces infinite sequences.

include Base
type t

iterator type

type dom

iterator domain

val min : dom

minimum value in the iterator domain

val max : dom

maximum value in the iterator domain

val value : t -> dom

current value

val next : t -> t

next iterator moves the iterator to the next element of the sequence.