Loading [MathJax]/jax/output/CommonHTML/jax.js
15210
Schedule
Staff
Library
Book
Resources
S18
F18
S19
F19
S20
F20
S21
F21
S23
F23
F24
Spring 25
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
|
)