You can search for identifiers within the package.
in-package search v0.2.0
posix-types
Pthread.Condattr
Used to identify a condition attribute object.
type t
val t : t Ctypes.typ