# 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.