You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
Reduce.Make
module G : GRAPHI
module R : Regex.S with type letter = G.E.t
type state = (G.V.t, R.t) Hashtbl.t
val compute_exprs : G.t -> G.V.t Wto.partition -> state