You can search for identifiers within the package.
in-package search v0.2.0
type mclock
val mclock : mclock Functoria.typ
val default_monotonic_clock : mclock Functoria.impl