Processing math: 100%

The StringElt structure

« 210 Library Documentation

Overview

structure StringElt : ELEMENT where type t = string

StringElt Cost Specification

Work Span
equal (A,B) O(min(|A|,|B|)) O(min(|A|,|B|))
compare (A,B) O(min(|A|,|B|)) O(min(|A|,|B|))
hash A O(|A|) O(|A|)
toString A O(|A|) O(|A|)