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.
|