Traced_sigs.Monad
module type S = sig ... end
S is the signature for a Lwt, result and Lwt-result combined monad. It is similar to Bare_sigs.Monad with the addition of traces. Specifically:
S
Bare_sigs.Monad