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

The `RealElt` structure

« 210 Library Documentation

Overview

structure RealElt : 
	ELEMENT where type t = real

`RealElt` Cost Specification

	Work	Span
`equal` $(A, B)$	$O(1)$	$O(1)$
`compare` $(A, B)$	$O(1)$	$O(1)$
`hash` $A$	$O(\|A\|)$	$O(\|A\|)$
`toString` $A$	$O(\|A\|)$	$O(\|A\|)$