universe-reverse-instances-1.0: instances of standard classes that are made possible by enumerations

universe-reverse-instances-1.0: instances of standard classes that are made possible by enumerations

instances of standard classes that are made possible by enumerations

Modules