Make.M
Interface used to build non raising interfaces to Vcs via Vcs.Non_raising.Make.
Vcs
Vcs.Non_raising.Make
type t
t must represent the type of errors in your monad.
t
val sexp_of_t : t -> Sexplib0.Sexp.t
The conversion functions you need to provide.
val of_err : Err.t -> t
val to_err : t -> Err.t