Version française
Home     About     Download     Resources     Contact us    
Browse thread
Defining a type and a module type recursively
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Defining a type and a module type recursively
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