You can search for identifiers within the package.
in-package search v0.2.0
hkdf
Hkdf.S
val extract : ?salt:Cstruct.t -> Cstruct.t -> Cstruct.t
extract salt ikm is prk, the pseudorandom key of hash length octets. The salt is an optional non-secret random value, ikm the input key material.
extract salt ikm
prk
salt
ikm
val expand : prk:Cstruct.t -> ?info:Cstruct.t -> int -> Cstruct.t
extract prk info length is okm, the output keying material. Given the pseudorandom key of hash length (usually output of !extract step), and an optional context and application specific information info, the okm is generated.
extract prk info length
okm
!extract
info