You can search for identifiers within the package.
in-package search v0.2.0
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) 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)