You can search for identifiers within the package.
in-package search v0.2.0
module S : HASH_ALG
type state = Hacl_star.EverCrypt.Hash.t
val size : int
val init : unit -> Hacl_star.EverCrypt.Hash.t
val update : Hacl_star.EverCrypt.Hash.t -> Hacl_star__EverCrypt.bytes -> unit
val finish : Hacl_star.EverCrypt.Hash.t -> Hacl_star__EverCrypt.bytes
val digest : Hacl_star__EverCrypt.bytes -> Hacl_star__EverCrypt.bytes
module HMAC : sig ... end