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