IntElt structurestructure IntElt :
ELEMENT where type t = int
IntElt 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(|A|)\] | \[O(|A|)\] |