You can search for identifiers within the package.
in-package search v0.2.0
hacl
Hash.SHA512
type state
val bytes : int
val blockbytes : int
val statebytes : int
Incremental Interface
val init : unit -> state
val update : state -> Bigstring.t -> unit
val finish : state -> Bigstring.t
Direct Interface
val digest : Bigstring.t -> Bigstring.t
module HMAC : sig ... end