Module Meta.Key

Metadata keys.

type 'a t

The type for custom metadata keys.

val make : ?pp_value:(Stdlib.Format.formatter -> 'a -> unit) -> unit -> 'a t

make ~pp_value () is a new key using pp to format its values (defaults formats "<value>".

val id : 'a t -> 'a Stdlib.Type.Id.t

id is the identifier of the key.

val pp_value : 'a t -> Stdlib.Format.formatter -> 'a -> unit

pp_value key is key's value formatter.