Hello,

I have now side stepped the issue but I wonder. Is it possible to
define a type and a module type recursively ?

E.g., something like

type 'a t = 'a * (module T)
and module type T = sig ... (* mentions 'a t somewhere *) ... end

Thanks,

Daniel