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