lib/github.com/diku-dk/containers/key

Abstract

Definitions of modules that implement both the hashkey and ordkey module types for a variety of types.

module type key = {

type ctx
type key
include hashkey with ctx = ctx with key = key
include ordkey with ctx = ctx with key = key

}

module u8key

key with ctx = () with key = u8

module u16key

key with ctx = () with key = u16

module u32key

key with ctx = () with key = u32

module u64key

key with ctx = () with key = u64

module i8key

key with ctx = () with key = i8

module i16key

key with ctx = () with key = i16

module i32key

key with ctx = () with key = i32

module i64key

key with ctx = () with key = i64

↑module type key