You can search for identifiers within the package.
in-package search v0.2.0
seqes
Sigs.GLUE2
Mixed-monad operations
type ('a, 'e) x
type ('a, 'e) f
type ('a, 'e) ret
val bind : ('a, 'e) x -> ('a -> ('b, 'e) f) -> ('b, 'e) ret