From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EKcfJv023271
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 21:38:41 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIBABMBYU9KfVK2kGdsb2JhbABDtiUIIgEBAQEJCQ0HFAQjgiICLAEbHgMSEF0BEQEFASI1h2iaH4JdCowQgnGFNT+IdAEFC5B0BJVWjkk9hAk
X-IronPort-AV: E=Sophos;i="4.73,586,1325458800"; 
   d="scan'208";a="136106411"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 21:38:36 +0100
Received: by wern13 with SMTP id n13so3636084wer.27
        for <caml-list@inria.fr>; Wed, 14 Mar 2012 13:38:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type
         :content-transfer-encoding;
        bh=yx8p9aKMbabno8m+jU+00iimUlIpu7EubK9Vc1zh/3o=;
        b=sTOcup6zZA3BPqyZ1s3noHpE+j/swLBPg40fMZ7wNs1xjjxpSnXE5nQTvwL/biXNvH
         2Cd7iiJOBSHZYrmHCe4amiRctTj9W2TnKS+SGDl8dwiZyT8d05/wrIVq6cZV5sxYr3o9
         3tzOXeE8sTChk+l8H3KhSRYWW+vgYV5N+nhUreSn3GZUAqIMAsHzxUILvpAiVKOWRvfc
         9pmYMveFk87AQuwhpCXFIN438Il7qR6JMnNEfPn/iP705WKH8Pk4WzedJeNboaXifzUo
         TMPbabdU+tdsLLNfzkHWQNDCaU1yLHbeDaI4MI7EiJLnmgM2DGGVuFDOJ0ES8oGqG0oI
         c4hg==
Received: by 10.180.80.9 with SMTP id n9mr5551736wix.4.1331757516154; Wed, 14
 Mar 2012 13:38:36 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.180.19.97 with HTTP; Wed, 14 Mar 2012 13:38:15 -0700 (PDT)
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Wed, 14 Mar 2012 21:38:15 +0100
Message-ID: <CAJMfKEXFrotb4t+MA4fHcYDuHeSATn1EHZFFRzGSu=EVzXVjfg@mail.gmail.com>
To: Caml <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2EKcfJv023271
Subject: [Caml-list] Tuples (covariant immutable arrays)

Hi,

Does anyone have a Tuple module that exports arrays as immutable and covariant?

Thanks,
Łukasz