module PGOCaml_generic: sig .. end
sig
end
module type THREAD = sig .. end
module type PGOCAML_GENERIC = sig .. end
module Make: functor (Thread : THREAD) -> PGOCAML_GENERIC with type 'a monad = 'a Thread.t
functor (
Thread
:
THREAD
) ->
PGOCAML_GENERIC
with type 'a monad = 'a Thread.t