You can search for identifiers within the package.
in-package search v0.2.0
stdune
Monad.M
type 'a t
val protect : f:(unit -> 'a t) -> finally:(unit -> unit) -> 'a t
Like Exn.protect but lifted to M.
Exn.protect
M