You can search for identifiers within the package.
in-package search v0.2.0
Information used to initialize a Mutex module. * priority and scheduler are used to initialize a task * which treat mutexes as well as conditions from the below * Condition module.
priority
scheduler
Condition
type priority
val scheduler : priority scheduler
val priority : priority