package pvem

  1. Overview
  2. Docs
module type ERROR_MONAD = sig ... end
module type RESULT = sig ... end
module Result : RESULT
module type DEFERRED = sig ... end
module type DEFERRED_RESULT = sig ... end
module With_deferred (Deferred : DEFERRED) : sig ... end