alice
library
manual.

The `HASHABLE` signature

^Synopsis^{____________________________________________}

    signature HASHABLE

An abstract signature for types that support hashing, useful for functor arguments. Note that most basic types in the fundamental library match this signature.

^Import^{______________________________________________}

    import signature HASHABLE from "x-alice:/lib/data/HASHABLE-sig"

^Interface^{___________________________________________}

    signature HASHABLE =
    sig
	type t

	val equal :  t * t -> bool
	val hash :   t -> int
    end

^Description^{_________________________________________}

type t: The abstract type of hashable values.
equal (x1, x2): Returns true if x1 and x2 are equal, false otherwise.
hash x: Maps x to an integer suitable as a hash value.

last modified 2007/Mar/30 17:10

alice library manual.

The HASHABLE signature

________ Synopsis ____________________________________________________

________ Import ______________________________________________________

________ Interface ___________________________________________________

________ Description _________________________________________________

alice
library
manual.

The `HASHABLE` signature

^Synopsis^{____________________________________________}

^Import^{______________________________________________}

^Interface^{___________________________________________}

^Description^{_________________________________________}