Kxclib.CheckDirectIo
type 'x t
val return : 'x -> 'x t
val bind : 'x t -> ('x -> 'y t) -> 'y t
val inject_error : exn -> 'x t
val inject_error' : (exn * backtrace_info option) -> 'x t
val extract_error : 'x t -> ('x, exn * backtrace_info option) Stdlib.result t
val trace : string -> unit t