WITH_WRAPPED (mavkit-libs.Mavryk_error_monad.Sig.WITH

type error

module type Wrapped_error_monad = sig ... end

The purpose of this module is to wrap a specific error monad E into a more general error monad Eg.

val register_wrapped_error_kind : 
  (module Wrapped_error_monad) ->
  id:string ->
  title:string ->
  description:string ->
  unit

Same as register_error_kind but for a wrapped error monad. The codec is defined in the module parameter. It makes the category of the error Wrapped instead of Main.