Browsing French translation

32061.

Munge finite and recursively enumerable types. It provides the Universe class, which is a declaration that your type is recursively enumerable (and that universe is that enumeration). In particular, you promise that any finite inhabitant has a finite index in universe, and that no inhabitant appears at two different finite indices. It also provides the Finite class, which is a declaration that your universe eventually ends.