Module Hxd.S

type ('a, 's) io
type 's scheduler = {
  1. bind : 'a 'b. ('a, 's) io -> ('a -> ('b, 's) io) -> ('b, 's) io;
  2. return : 'a. 'a -> ('a, 's) io;
}
type ('f, 's, 'e) seek = {
  1. lseek : 'f -> int -> [ `SET | `CUR | `END ] -> ((int, 'e) result, 's) io;
}
module type X = sig ... end
module type FUNCTOR = sig ... end
module Make (T : FUNCTOR) : X with type 'a s = 'a T.t
module type IFLOW = sig ... end
module type OFLOW = sig ... end
type ('f, 'b, 's, 'e) iflow = (module IFLOW with type buffer = 'b and type error = 'e and type flow = 'f and type scheduler = 's)
type ('f, 'b, 's, 'e) oflow = (module OFLOW with type buffer = 'b and type error = 'e and type flow = 'f and type scheduler = 's)