From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <j.romildo@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 96BBE7EE09
	for <caml-list@sympa.inria.fr>; Fri, 26 Oct 2012 13:24:25 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  j.romildo@gmail.com) identity=pra; client-ip=209.85.213.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="j.romildo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  j.romildo@gmail.com designates 209.85.213.54 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="j.romildo@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-yh0-f54.google.com) identity=helo;
  client-ip=209.85.213.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="postmaster@mail-yh0-f54.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Al4DALZxilDRVdU2k2dsb2JhbABEhVC8XwgjAQEBAQkJCwkUBCOCNwImBgEbHgMSXw8JCAEFAVeHTwEDDwKbVoIJYAkDjC6CdoR4ChknDVmIdQEFDI8mgkNhA5V1jl0/hCk
X-IronPort-AV: E=Sophos;i="4.80,654,1344204000"; 
   d="scan'208";a="179054397"
Received: from mail-yh0-f54.google.com ([209.85.213.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Oct 2012 13:24:25 +0200
Received: by mail-yh0-f54.google.com with SMTP id s35so601816yhf.27
        for <caml-list@inria.fr>; Fri, 26 Oct 2012 04:24:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:subject:message-id:mail-followup-to:mime-version
         :content-type:content-disposition:user-agent;
        bh=4LW+BdabFveCVIrgRNTVtCSqEty/wMVAoOIg/L+AJsE=;
        b=uUw2kIufmWZ8hWPqPB94qYFm4nycAIXkLhUhkTqF+ipRUdWCcLrjxjMFpZgAFYh2Ky
         2eVol7/wVyQxZaVjMJz4FOWVFoVcpvu9iXG8h7yfYNCTPxkm3YlFKq/s+puMo/cQ5z3b
         A86VU97FEb2kx+zb3qq0QTdPv77dkKVwdscjWVq9r4PF/83h0YKbMYAjsctvQh6MA5LS
         s4h5gnaozLoq3HThnCJprFfd526umh7MtQOlSEhGID0G6OVKES+F4sLrmdkO57b5OXYo
         mQoAI8uUF0EYExTKOHZ2aksUaaT8FbiQ+kvm/ucr1TiHyVkwnoldsmjgKIuMV/X8CvsP
         GLFg==
Received: by 10.101.87.13 with SMTP id p13mr6842051anl.81.1351250663904;
        Fri, 26 Oct 2012 04:24:23 -0700 (PDT)
Received: from romildo.localdomain ([200.239.128.55])
        by mx.google.com with ESMTPS id v8sm1084857yhi.15.2012.10.26.04.24.22
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 26 Oct 2012 04:24:23 -0700 (PDT)
Received: by romildo.localdomain (Postfix, from userid 1000)
	id EF9361F2CF6; Fri, 26 Oct 2012 09:26:02 -0200 (BRST)
Date: Fri, 26 Oct 2012 09:26:02 -0200
From: =?iso-8859-1?Q?Jos=E9?= Romildo Malaquias <j.romildo@gmail.com>
To: caml-list@inria.fr
Message-ID: <20121026112602.GA2781@romildo.no-ip.org>
Mail-Followup-To: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: [Caml-list] Importing specific names

Hello.

It seems that the expression ocaml "open module-path" exposes all names
exported by module-path.

Is there any way of exposing only a restrict set of names from a
module-path, instead of all names?

Romildo