You can search for identifiers within the package.
in-package search v0.2.0
why3find
why3find.utils
Why3findUtils.Dict
type 'a t
val empty : 'a t
val add : string -> 'a -> 'a t -> 'a t
val find : string -> int -> 'a t -> 'a option
val starts_with : prefix:string -> string -> int -> bool
val ends_with : suffix:string -> string -> int -> bool
val dump : Format.formatter -> 'a t -> unit