S (hxd.Hxd.S)

type ('a, 's) io

type 's scheduler = {

bind : a b. ('a, 's) io -> ('a -> ('b, 's) io) -> ('b, 's) io;

return : a. 'a -> ('a, 's) io;

}

type ('f, 's, 'e) seek = {

lseek : 'f -> int -> [ `SET | `CUR | `END ] -> ((int, 'e) Stdlib.result, 's) io;

}

module type X = sig ... end

module type FUNCTOR = sig ... end

module Make : functor (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)