Loading [MathJax]/jax/output/CommonHTML/jax.js

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)$