You can search for identifiers within the package.
in-package search v0.2.0
type t
type valty
val empty : t
val bot : t
val find_opt : (string * int * int) -> t -> valty option
val find : (string * int * int) -> t -> valty
val update : (string * int * int) -> valty -> t -> t
val (<=) : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : t -> t -> t
val pp : Stdlib.Format.formatter -> t -> unit