You can search for identifiers within the package.
in-package search v0.2.0
ooh
Ooh.Witness
type ('vs, 'v) t =
| V00 : (< v00 : 'v00.. >, 'v00) t
| V01 : (< v01 : 'v01.. >, 'v01) t
| V10 : (< v10 : 'v10.. >, 'v10) t
| V11 : (< v11 : 'v11.. >, 'v11) t