You can search for identifiers within the package.
in-package search v0.2.0
type basis =
| GN
| TP of Z.t
| PP of Z.t * Z.t * Z.t
val basis_grammar : basis Asn.t
type characteristic_two_params = {
m : Z.t;
basis : basis;
}
val ctwo_params_grammar : characteristic_two_params Asn.t
type t =
| Prime of Z.t
| C_two of characteristic_two_params
val grammar : t Asn.t