From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <danbensen@att.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 592D37ED34
	for <caml-list@sympa.inria.fr>; Wed, 18 Jul 2012 16:16:30 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  danbensen@att.net) identity=pra; client-ip=98.139.44.164;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="danbensen@att.net";
  x-sender="danbensen@att.net"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  danbensen@att.net) identity=mailfrom;
  client-ip=98.139.44.164;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="danbensen@att.net";
  x-sender="danbensen@att.net"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nm15-vm0.access.bullet.mail.sp2.yahoo.com)
  identity=helo; client-ip=98.139.44.164;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="danbensen@att.net";
  x-sender="postmaster@nm15-vm0.access.bullet.mail.sp2.yahoo.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjACALPDBlBiiyykh2dsb2JhbABFgkq3EwEBAQoLCQcWJ4IXCQEBBAFAAQEBATYBAwsLAwFCVwYBLYdiAQMGBqokhC4BBQGFEgJIBYlPAQaSD4hQhEyIMoVSLY0C
X-IronPort-AV: E=Sophos;i="4.77,610,1336341600"; 
   d="scan'208,217";a="151055398"
Received: from nm15-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.164])
  by mail4-smtp-sop.national.inria.fr with SMTP; 18 Jul 2012 16:16:28 +0200
Received: from [98.139.44.103] by nm15.access.bullet.mail.sp2.yahoo.com with NNFMP; 18 Jul 2012 14:16:26 -0000
Received: from [98.139.44.91] by tm8.access.bullet.mail.sp2.yahoo.com with NNFMP; 18 Jul 2012 14:16:26 -0000
Received: from [127.0.0.1] by omp1028.access.mail.sp2.yahoo.com with NNFMP; 18 Jul 2012 14:16:26 -0000
X-Yahoo-Newman-Property: ymail-3
X-Yahoo-Newman-Id: 941237.71316.bm@omp1028.access.mail.sp2.yahoo.com
Received: (qmail 89341 invoked by uid 60001); 18 Jul 2012 14:16:26 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1342620986; bh=T/tFdUKkEgVgLaM4LsLgRBZVsha0r0f5aqj+mfjRRMk=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=l8kjCnDE+uNXKwUg8EBsyRqvhtgoZ22nZetxU6syPIjE2wELvhydd34Qv47BOwcqcSXBtevx+huEDPoMOCzSbrFVVb9OdqJKE57oqbMdo7cvljke4mWc/PF8IL6hfy+SCdVN2rvHkAEl1oXyorw6MhJ/ibAh/CrOB0nfAOungrA=
DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=att.net;
  h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type;
  b=uaiVulQxS8UbI6lz3m7ASH4JJsgieQ130MAlc5CyWjAw8QZd+hDDnQEexR3pCE2a8CZavKdT5hvYuEYJFc63v5riIgpP+EqcU3I7yNndow4otKQ3FDNPPyQIy06rqL5dxFxA+GhZl1EHwDFX8Au9JIrCiSyooFF26eK5j2Y5zHM=;
X-YMail-OSG: yvfbEHIVM1mK02fr2yfn3JOwzsEIMwalWwQAAeAua_aEexv
 H4n4ZDpCv3hzyAF0SBE45I1wrT5EeqPSrQ9P4yJ0WbW0bXkguu6Nvvsl8B.H
 kcjOsCWyrIu8DN3Ot0nJ5ERHmyaqy_OSHKg9igdkfZNRcdmxE62P6MuBFpE.
 7dWiZ1GqoHSuO2xRwzH74RC6EWObo7sW6Na6Mz2vTpsAXY1oiGlZHnFagfkK
 at7wPG.mRn7Dh0RwcllaIjo4cWfNyarolsHIgofrralw9q2Eqcq65KIQZV2u
 pwdhUlE5egaFSivN1ggx5t6J6MHCrmYzfFsUHfuXIhzORNXtuKa7mDSKumbo
 MamB3AHHGPabP6H1Np8kTdgz2LlAXU5Q2O02wG5fh8HcCEi6hwVOwyk_fpM_
 gAoxDl08TwVFwwhkSGrcqG3vW5aaKIkHgH4tFsw0Zi2NmxykFr84-
Received: from [70.225.177.206] by web180008.mail.gq1.yahoo.com via HTTP; Wed, 18 Jul 2012 07:16:26 PDT
X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.120.356233
References: <355181342595769@web13h.yandex.ru>
Message-ID: <1342620986.74383.YahooMailRC@web180008.mail.gq1.yahoo.com>
Date: Wed, 18 Jul 2012 07:16:26 -0700 (PDT)
From: Dan Bensen <danbensen@att.net>
To: Ivan <ivg@ieee.org>, "caml-list@inria.fr" <caml-list@inria.fr>
In-Reply-To: <355181342595769@web13h.yandex.ru>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="239439233-1443746976-1342620986=:74383"
Subject: Re: [Caml-list] parametric modules file layout


--239439233-1443746976-1342620986=:74383
Content-Type: text/plain; charset=us-ascii

> three signatures : ASSOC, HIER, FOREST
> put a signature in the sig.ml file
> maybe there're other solutions or common practices

I don't know if this is common, but you could 
put them in separate .ml files and call the types 
ASSOC.T, HIER.T, and FOREST.T
--239439233-1443746976-1342620986=:74383
Content-Type: text/html; charset=us-ascii

<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:Courier New,courier,monaco,monospace,sans-serif;font-size:10pt">&gt; three signatures : ASSOC, HIER, FOREST<br>&gt; put a signature in the <a target="_blank" href="http://sig.ml"><span class="yshortcuts" id="lw_1342596511_0">sig.ml</span></a> file<br>&gt; maybe there're other solutions or common practices<br><br>I don't know if this is common, but you could <br>put them in separate .ml files and call the types <br>ASSOC.T, HIER.T, and FOREST.T<br><br></div></body></html>
--239439233-1443746976-1342620986=:74383--