From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 73FE87FE36 for ; Thu, 30 Jun 2016 18:45:48 +0200 (CEST) IronPort-PHdr: 9a23:NxYrHBXx7AwhsibBOm1oZS2pswDV8LGtZVwlr6E/grcLSJyIuqrYZhKAt8tkgFKBZ4jH8fUM07OQ6PG4HzVfqsfb+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0osKYMl8ArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBO/xdqE8CLhZFygOMmYv5cStuwOJBV+E734YF2EXiQZgAg7f7Ri8UI2n4QXgse8okhKdMMLqV7csHXyH7qxrQRLswm9TMj8y8Gjajopri69UvAimvzR+xZLZZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pN4Y= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga09.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAADwS3VXhxiIhoZbgnCBJH0GtHgbhDSBfBqFfQKBPDgUAQEBAQEBAQERAQEBCA0JCSEkC4IyghsBAQQtHEACAQgEHhkLMiUBAQQbiCcBw1IBAQEBAQEBAwEBAQEBAQEBAQEdgiWEBIRMhEKDKoIvBZkFBgGQKoRWiGqQBR6CTyKBNW6IQgF+AQEB X-IPAS-Result: A0BMAADwS3VXhxiIhoZbgnCBJH0GtHgbhDSBfBqFfQKBPDgUAQEBAQEBAQERAQEBCA0JCSEkC4IyghsBAQQtHEACAQgEHhkLMiUBAQQbiCcBw1IBAQEBAQEBAwEBAQEBAQEBAQEdgiWEBIRMhEKDKoIvBZkFBgGQKoRWiGqQBR6CTyKBNW6IQgF+AQEB X-IronPort-AV: E=Sophos;i="5.26,553,1459807200"; d="scan'208,217";a="224938571" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Jun 2016 18:45:47 +0200 Received: from fmsmga004.fm.intel.com ([10.253.24.48]) by orsmga102.jf.intel.com with ESMTP; 30 Jun 2016 09:45:44 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,553,1459839600"; d="scan'208,217";a="131361012" Received: from irsmsx104.ger.corp.intel.com ([163.33.3.159]) by fmsmga004.fm.intel.com with ESMTP; 30 Jun 2016 09:45:43 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX104.ger.corp.intel.com ([163.33.3.159]) with mapi id 14.03.0248.002; Thu, 30 Jun 2016 17:44:16 +0100 From: "Soegtrop, Michael" To: "caml-list@inria.fr" Thread-Topic: How to define a module type for NAxioms.NAxiomsSig + Orders.UsualOrderedTypeFull + ... effectively? Thread-Index: AdHS7HrPjL14Sd+6SuCtvGTsrAmAmwAAhMtA Date: Thu, 30 Jun 2016 16:44:16 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2F1@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2CA@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2CA@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.180] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2F1IRSMSX102gercor_" MIME-Version: 1.0 Subject: RE: [Caml-list] How to define a module type for NAxioms.NAxiomsSig + Orders.UsualOrderedTypeFull + ... effectively? --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2F1IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Sorry wrong list - please ignore Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928 --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2F1IRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Sorry wrong list ̵= 1; please ignore

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--_000_0F7D3B1B3C4B894D824F5B822E3E5A172CF1E2F1IRSMSX102gercor_--