Module Psa.Key_id

Key identifiers.

Key identifiers

type t

The type for psa_key_id_t.

Note that the key identifiers you create must be manually disposed of with Bytesrw_crypto.Psa.destroy_key.

val null : t
val user_min : t
val user_max : t
val vendor_min : t
val vendor_max : t

Predicates and comparisons

val equal : t -> t -> bool

equal k0 k1 is true iff k0 and k1 are equal.

val compare : t -> t -> int

compare is a total order compatible with equal.

Converting

val to_uint32 : t -> uint32

to_uint32 k is k as an unsigned 32-bit integer.

val of_uint32 : uint32 -> t

of_uint32 i is a key identifier from i.

Formatting

val pp : Stdlib.Format.formatter -> t -> unit

pp formats key identifiers for inspection.