You can search for identifiers within the package.
in-package search v0.2.0
include module type of Grammar_types.IntegerVectorType
type t =
| Bit
| Logic
| Reg
val to_s : t -> string