The EQKEY signature

« 210 Library Documentation

Overview

The EQKEY signature defines a key type for which the only necessary operation is an equality test.

Interface

type t

val equal : t * t → bool
val toString : t → string

Types

type t
The abstract key type.

Values

val equal : t * t → bool
Determine whether or not the argument pair is considered equal. This operation is reflexive, symmetric, and transitive.
val toString : t → string
Return the argument in a string representation.