Jacques Garrigue wrote:
> From: Alessandro Baretta <a.baretta@barettadeit.com>

> On the other hand
> 
>   module type BAR = sig type bar = private [> foo] end
> 
> means "require the type bar to be an instance of type [> foo]".
> I suppose this is what you intended?
> 
> Jacques

What a man! Thank you! This is exactly what I was trying to express.

Alex


-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>