UnitElt structurestructure UnitElt :
ELEMENT where type t = unit
UnitElt Cost Specification| Work | Span | |
equal $(A, B)$
|
\[O(1)\] | \[O(1)\] |
compare $(A, B)$ |
\[O(1)\] | \[O(1)\] |
hash $A$ |
\[O(1)\] | \[O(1)\] |
toString $A$ |
\[O(1)\] | \[O(1)\] |