You can search for identifiers within the package.
in-package search v0.2.0
Signatures of monad effects.
type 'a t
The monad.
val perform : 'a t -> 'a
Perform an monadic operation.
val run : (unit -> 'a) -> 'a t
run t runs the thunk t which may perform monad effects, and then returns the corresponding monadic expression.
run t
t