package trace

You can search for identifiers within the package.

in-package search v0.2.0

package trace

trace
- Trace
trace.core
- Trace_core
  - Collector
    
    S
  - Meta_map
    
    Key
trace.private.util
- Trace_private_util

Legend:
Library
Module
Module type
Parameter
Class
Class type

Keys with a type witness.

type '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.

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

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

Compare two keys that have compatible types.