Processing math: 100%

The `IntElt` structure

« 210 Library Documentation

Overview

structure IntElt : 
	ELEMENT where type t = int

`IntElt` 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(\|A\|)$	$O(\|A\|)$