You can search for identifiers within the package.
in-package search v0.2.0
checkct
Checkct.Kind
type t =
| Control_flow
| Memory_access
| Multiplication
| Dividend
| Divisor
val to_string : t -> string
val of_string : string -> t
val pp : Format.formatter -> t -> unit