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