You can search for identifiers within the package.
in-package search v0.2.0
mirage-mtime.mock
mirage-mtime.set
mirage-mtime.solo5
mirage-mtime.unikraft
mirage-mtime.unix
Mirage_mtime
Mirage_mtime_set