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

The `UnitElt` structure

« 210 Library Documentation

Overview

structure UnitElt : 
	ELEMENT where type t = unit

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