From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.gazagnaire@inria.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 6AAF5BBAF
	for <caml-list@yquem.inria.fr>; Tue, 23 Nov 2010 15:05:02 +0100 (CET)
X-IronPort-AV: E=Sophos;i="4.59,242,1288566000"; 
   d="scan'208";a="80043845"
Received: from saorge.inria.fr (HELO [138.96.248.57]) ([138.96.248.57])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 23 Nov 2010 15:05:02 +0100
Subject: Re: [Caml-list] [ANN] HTCaML / CaSS
From: Thomas Gazagnaire <thomas.gazagnaire@inria.fr>
To: Gerd Stolpmann <info@gerd-stolpmann.de>
Cc: caml-list@yquem.inria.fr
In-Reply-To: <926842186.769232.1290520895288.JavaMail.root@zmbs4.inria.fr>
References: <1290517554.4734.103.camel@saorge.inria.fr>
	 <1681920730.765376.1290518571583.JavaMail.root@zmbs4.inria.fr>
	 <926842186.769232.1290520895288.JavaMail.root@zmbs4.inria.fr>
Content-Type: text/plain; charset="UTF-8"
Date: Tue, 23 Nov 2010 15:04:41 +0100
Message-ID: <1290521081.4734.127.camel@saorge.inria.fr>
Mime-Version: 1.0
X-Mailer: Evolution 2.30.3 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; foo:01 foo:01 caml-list:01 let:03 let:03 inria:06 mean:08 type:14 some:14 code:17 list:22 random:24 html:74 html:74 thomas:27 

> let html_of_foo : Html.t = (* some random code of type Html.t = (`a
Xml.frag as `a) Xmlm.frag list *)

Sorry, I mean : let html_of_foo : foo -> Html.t = ...