Index of module types


D
DEFERRED [Pvem]
The signature of a basic “thread” module called Deferred (like Lwt).
DEFERRED_RESULT [Pvem]
The result of the functor application: With_deferred(Deferred).

E
ERROR_MONAD [Pvem]
The basic error monad signature.

R
RESULT [Pvem]
The signature of the Result module: ERROR_MONAD + exposed result type.