Module type Pvem.RESULT

module type RESULT = sig .. end

The signature of the Result module: ERROR_MONAD + exposed result type.

include Pvem.ERROR_MONAD