Module Psa.Dh_family

Diffie-Hellman keys.

Diffie-Hellman family

type t

The type for psa_dh_family_t.

val rfc7919 : t

PSA_DH_FAMILY_RFC7919

Predicates and comparisons

val equal : t -> t -> bool

equal f0 f1 is true iff f0 and f1 are equal.

val compare : t -> t -> int

compare is a total order compatible with equal.

Converting

val to_uint8 : t -> uint8

to_uint8 f is f as an unsigned 8-bit integer.

val of_uint8 : uint8 -> t

of_uint8 i is a Diffie-Hellman family identifier from i.

Formatting

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

pp formats a Diffie-Hellman family identifier for inspection.