You can search for identifiers within the package.
in-package search v0.2.0
type t =
| Geographic of GeogCS.t
| Projected of ProjCS.t
| Geocentric of GeocCS.t
| Vert of VertCS.t
| Compd of string * t * t * Authority.t option
| Fitted of string * MT.t * t
| Local of LocalCS.t
val sprint : t -> string