The EQKEY signature

« 210 Library Documentation

Overview

The EQKEY signature defines an abstract type t and provides equality and toString functions on values of such type.

Interface

type t

val equal : t * t -> bool
val toString : t -> string

Types

type t
The abstract type as described in the overview.

Values

val equal : t * t -> bool
(equal (x, y)) evaluates to true if and only if $x$ and $y$ are equal values of type t.
val toString : t -> string
(toString k) evaluates to a string representation of $x$, a value of type t.