You can search for identifiers within the package.
in-package search v0.2.0
type state
val initial_state : state
val update : state -> string -> int -> string -> state * string * int * bool
val check_final : state -> string -> unit