You can search for identifiers within the package.
in-package search v0.2.0
fix
Indexing.Unit
Unit contains a type-level name for the singleton set.
Unit
include CARDINAL
type n
val n : n cardinal
val element : n index