Internal module: This module does not make any stability guarantees, and may not adhere to the PVP.

This module defines the Omega type, which has only one inhabitant: the infinite chain of successors. Any function which consumes an Omega is functionally equivalent to any other; likewise for those which produce an Omega. However, they may have radically differing strictness behaviors. It is for this reason that we have use for this type in the course of random example generation.