This structure provides a generic equality equal
for (nearly) arbitrary data types which are
based on flat domains, i.e. don't contain functions.
List of Import References :
See BOOL
See DENOTATION
SIGNATURE EQUALITY[data]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
SORT data
Normal equal returns true, if both values are equal, false if both values
are not equal, and aborts if equality cannot be determined.
ALL x y. equal(x, y) === true ==> x === y and
ALL x y. equal(x, y) === false ==> (NOT x === y)
FUN equal : data ** data -> bool
Weak equal returns true, if both values are equal, false if both values
are not equal or equality cannot be determined.
ALL x y. wEqual(x, y) === true ==> x === y and
ALL x y. DFD equal(x, y) ==> equal(x, y) === wEqual(x, y)
ALL x y. (NOT DFD equal(x, y)) ==> wEqual(x, y) === false
FUN wEqual : data ** data -> bool
next node: INLINE,
prev node: CAST,
up to node: Subsystem Strange