>From OCaml 3.11 release notes:
> - Subtyping is now allowed between a private abbreviation and its definition,
> and between a polymorphic method and its monomorphic instance.
Is there anybody who wants to elaborate this with an example,
especially the second statement, regarding polymorphic methods?
TIA,
--
Paolo
~
~
:wq