Control (tls.Tls.Control)

module type Monad = sig ... end

module type Monad_ext = sig ... end

module Monad_ext_make : functor (M : Monad) -> Monad_ext with type 'a t = 'a M.t

module Option : sig ... end

module type Or_error = sig ... end

module Or_error_make : functor (M : sig ... end) -> Or_error with type err = M.err and type 'a t = ('a, M.err) Stdlib.result