Abstract

Ordered key type.

Synopsis

module type ordkey = {
type~ ctx
type key
val (<=): (ctx, key) -> (ctx, key) -> bool
val (==): (ctx, key) -> (ctx, key) -> bool
}

Description

↑module type ordkey
↑type~ ctx

Context type.

↑type key

Key type.

↑val <=: (ctx, key) -> (ctx, key) -> bool

Less-than-or-equal.

↑val ==: (ctx, key) -> (ctx, key) -> bool

Equality. This can be defined in terms of <=, but sometimes a more efficient implementation is possible.