The StringElt structure

« 210 Library Documentation

Overview

structure StringElt : ELEMENT where type t = string

StringElt Cost Specification

Work Span
equal $(A, B)$ \[O(\text{min}(|A|, |B|))\] \[O(\text{min}(|A|, |B|))\]
compare $(A, B)$ \[O(\text{min}(|A|, |B|))\] \[O(\text{min}(|A|, |B|))\]
hash $A$ \[O(|A|)\] \[O(|A|)\]
toString $A$ \[O(|A|)\] \[O(|A|)\]