The EQKEY signature

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.