You can search for identifiers within the package.
in-package search v0.2.0
codex.operator
Operator.Choice
type t = private int
val fresh : unit -> t