Singletons
A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.
The type space of Singleton -- Element(x, Singletons) is True for a Singleton(...) value, False for one of another carrier.
Singletons: set<singleton>
Examples
About
| Examples | 1 |
|---|