Psa.Key_location
Key locations.
type t
The type for psa_key_location_t.
psa_key_location_t
val local_storage : t
PSA_KEY_LOCATION_LOCAL_STORAGE
val primary_secure_element : t
PSA_KEY_LOCATION_PRIMARY_SECURE_ELEMENT
val equal : t -> t -> bool
equal l0 l1 is true iff l0 and l1 are equal.
equal l0 l1
true
l0
l1
val compare : t -> t -> int
compare is a total order compatible with equal.
compare
equal
val to_uint32 : t -> uint32
to_uint32 l is l as an unsigned 32-bit integer.
to_uint32 l
l
val of_uint32 : uint32 -> t
of_uint32 i is a key location from i.
of_uint32 i
i
val pp : Stdlib.Format.formatter -> t -> unit
pp formats key locations for inspection.
pp