package bap-primus
Module Primus.Iterator
Iterator is a sequence of values of some domain.
Iterator is a just another abstraction that represent a sequence of values.
module type Base = sig ... endBase interface of all iterators.
module type Finite = sig ... endFinite iterators produce finite sequences of values.
module type Infinite = sig ... endInfinite iterators produces infinite sequences.