From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA19438 for caml-red; Wed, 15 Nov 2000 22:39:22 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA04210 for <caml-list@pauillac.inria.fr>; Wed, 15 Nov 2000 13:14:42 +0100 (MET)
Received: from finch-post-10.mail.demon.net (finch-post-10.mail.demon.net [194.217.242.38])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eAFCEIX04159
	for <caml-list@inria.fr>; Wed, 15 Nov 2000 13:14:41 +0100 (MET)
Received: from htec.demon.co.uk ([158.152.48.188])
	by finch-post-10.mail.demon.net with esmtp (Exim 2.12 #1)
	id 13w1S0-000EZn-0A
	for caml-list@inria.fr; Wed, 15 Nov 2000 12:14:04 +0000
Message-ID: <3A128C84.BB5FDFB@htec.demon.co.uk>
Date: Wed, 15 Nov 2000 13:15:48 +0000
From: Chris Quinn <cq@htec.demon.co.uk>
X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.4.0-test6 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: Type sharing...
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

I have a question for the implementors:

Being acquainted only with the sharing involved between a Types.class_declaration's cty_params and its cty_type (ditto type_declaration and cltype_declaration), I'd be interested to know of the other cases of sharing amongst the constituents of types.mli, if any?  

Thanks, 
Chris Quinn