The BoolElt structure

« 210 Library Documentation

Overview

structure BoolElt : ELEMENT where type t = bool

BoolElt 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(1)\] \[O(1)\]