Metadata keys
val v : ?doc:string -> pp_value:'a B0_std.Fmt.t -> string -> 'a keyv name ~doc ~pp_value is a new metadata key with:
name the name used for UI interaction and to format the key name when its binding is formatted . The name should be globally unique, the module automatically renames it if that happens not to be the case.doc is a documentation string for the key.pp_value is used to format the key values.val tag : ?doc:string -> string -> unit keytag ~doc name is new tag key. Tags denote booleans, presence in metadata means true, absence means false.
val name : 'a key -> stringname k is k's name.
val doc : 'a key -> stringdoc k is k's documentation string.
val pp_value : 'a key -> 'a B0_std.Fmt.tpp k is k's value formatter.
val pp_name : 'a key B0_std.Fmt.tpp_name k formats k's name with pp_name_str.
val pp_name_str : string B0_std.Fmt.tpp_name_str formats a key name.
val pp : t B0_std.Fmt.tpp formats the key name with pp_name_str
For UI purposes a map from key names to existential keys is maintained by the module.
val find : string -> t optionfind n is the key named n (if any).
val get : string -> tget n is the key named n. Raises Invalid_argument if there is no such key.
get_or_suggest n is the key named n or or a (possibly empty) list of suggested values whose name could match n.