From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2L8sJKC019155
	for <caml-list@sympa-roc.inria.fr>; Wed, 21 Mar 2012 09:54:19 +0100
X-IronPort-AV: E=Sophos;i="4.73,621,1325458800"; 
   d="scan'208";a="150485182"
Received: from top.irisa.fr ([131.254.16.41])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 21 Mar 2012 09:54:13 +0100
Content-Type: text/plain; charset=windows-1252
Mime-Version: 1.0 (Apple Message framework v1257)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
In-Reply-To: <3EB8D30A-FB02-4654-9F95-B7FF029F02FE@math.nagoya-u.ac.jp>
Date: Wed, 21 Mar 2012 09:54:14 +0100
Message-Id: <D63F6CC7-7CBF-484A-9232-54D9CA031CF8@polytechnique.org>
References: <CAOOOohQ64Fz+xp_r4pbBAXZzoSfMR=u8jXUsoLchUMO9DADVFA@mail.gmail.com> <3EB8D30A-FB02-4654-9F95-B7FF029F02FE@math.nagoya-u.ac.jp>
To: caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.1257)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2L8sJKC019155
Subject: Re: [Caml-list] Explicitely named type variable and type constraints.

On 21 mars 2012, at 09:21, Jacques Garrigue wrote:

> (using 4.00, but you can also write with (val …))

Nice teaser ;-)

Alan