Module Psa.Key_lifetime

Key lifetimes.

Key lifetimes

type t

The type for psa_key_lifetime_t.

val volatile : t
val persistent : t
val from_persistence_and_location : Key_persistence.t -> Key_location.t -> t
val get_persistence : t -> Key_persistence.t
val get_location : t -> Key_location.t

Predicates and comparisons

val is_volatile : t -> bool
val equal : t -> t -> bool

equal l0 l1 is true iff l0 and l1 are equal.

val compare : t -> t -> int

compare is a total order compatible with equal.

Converting

val to_uint32 : t -> uint32

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

val of_uint32 : uint32 -> t

of_uint32 i is a key lifetime from i.

Formatting

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

pp formats key lifetimes for inspection.