You can search for identifiers within the package.
in-package search v0.2.0
sm
Stream.Gcm_encrypt
type t
val init : key:bytes -> iv:bytes -> t
val add_aad : t -> bytes -> unit
val update : t -> bytes -> unit
val finalize : t -> Gcm.encrypted