The RealElt structure

« 210 Library Documentation

Overview

structure 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|)\]