package containers-data

  1. Overview
  2. Docs
package containers-data
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CCHet.KeySource

Keys with a type witness.

Sourcetype 'a t

A key of type 'a t is used to access the portion of the map or table that associates keys of type 'a to values.

Sourceval create : unit -> 'a t

Make a new key. This is generative, so calling create () twice with the same return type will produce incompatible keys that cannot see each other's bindings.

Sourceval equal : 'a t -> 'a t -> bool

Compare two keys that have compatible types.