From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id BD29C7F0BA
	for <caml-list@sympa.inria.fr>; Mon,  6 Feb 2017 17:06:41 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3Ax51azxfE/Ro2zDISaPGu5KJQlGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxcS7Yh7h7PlgxGXEQZ/co6odzbGH7+a/BidQvN6oizMrSNR0TRgLiM?=
 =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?=
 =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52Ixi6twfcu8sZjYZhKqs61wfErGZPd+?=
 =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?=
 =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?=
 =?us-ascii?q?ocOjUn7G/YlNB/jKNDoBKguRN/xZLUYJqIP/Z6Z6/RYM8WSXZEUstXSidPAJ6z?=
 =?us-ascii?q?b5EXAuQPPehWsYrzqFkArRWjAgejC//gxDBViXLtwa030eYsHR3c0QA8Hd8Dtm?=
 =?us-ascii?q?nfotXvNKcVVOC41KfGwi/Fb/NXxzj97JDHfw09ufGKXLNwdcvRwlQoGgzYlFqQ?=
 =?us-ascii?q?r43lMC2R1ugXqGeb8vRvVeSuim4jqgF8uSagxt02iobTmoIVy0nE9Thnz4ovOd?=
 =?us-ascii?q?K4SFd2bNi5G5VTryGXL4l7T8w4T2xouCs20L4LtJ+hcCUIx5kr3wPTZv6EfoSS?=
 =?us-ascii?q?/x7uUOScLS1miH57e7+znRm//Eemx+bhTMe7ykxKoTBAktTUtnACyRjT6s+fR/?=
 =?us-ascii?q?tm+0ehxS6P2xrd6+5aOk80m7DUJII9wr4xkZoTt17PETPxmEXzlKOWd0Mk9fa0?=
 =?us-ascii?q?6+n/YLjrqYWQOo90hw3kMakjm9azDOY3PwQWWmiU4+W81Lnt/U3jR7VKi+U7nb?=
 =?us-ascii?q?TDv5DcJMQUuKq5DxVO3YY+9Rm/CTan0NAZnXQcMl1FYgiHgJL1O1HPOfD4EOmw?=
 =?us-ascii?q?j06wnzdr3/zGJKHuAo3RLnjfl7fsZapy5FRZyAo31Nxf45NUCqodIP/oQU/wtN?=
 =?us-ascii?q?nYDgcjPACuwubnDs991oIEVm6VDK+ZKvCajVjdx/wmJaGjY5MSpj39KuQ+r6rv?=
 =?us-ascii?q?k3ARmFIQcO+ux5RBO16iGfEzD0yfYHfotf2VF3UOv0JqQOXsiVCGFzROanCgW6?=
 =?us-ascii?q?MU6yshAZ6nFJrOAIut1u/SlBynF4FbMzgVQmuHFm3lIsDdA68B?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5AQC6nphYhkpWN0pdGgEBAQECAQEBA?=
 =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgxATAQEBAQEBAQE?=
 =?us-ascii?q?BAQESAQEBCAsLCh0vgjMbAYIbAQUjBFIQCw4KAgImAgJHEAYbiWsErwaBazqLK?=
 =?us-ascii?q?QEBAQEGAQEBAQEjgQuKMIdaLoIxAQSbZpNsAYhJD4ZGkww3gR6BIIRVgW6KCQE?=
 =?us-ascii?q?BAQ?=
X-IPAS-Result: =?us-ascii?q?A0C5AQC6nphYhkpWN0pdGgEBAQECAQEBAQgBAQEBFQEBAQE?=
 =?us-ascii?q?CAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgxATAQEBAQEBAQEBAQESAQEBCAsLC?=
 =?us-ascii?q?h0vgjMbAYIbAQUjBFIQCw4KAgImAgJHEAYbiWsErwaBazqLKQEBAQEGAQEBAQE?=
 =?us-ascii?q?jgQuKMIdaLoIxAQSbZpNsAYhJD4ZGkww3gR6BIIRVgW6KCQEBAQ?=
X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; 
   d="scan'208";a="212228178"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Feb 2017 17:06:40 +0100
Received: from [172.20.10.2] (44.228.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.228.44])
	by smtp.webfaction.com (Postfix) with ESMTP id CE3EC21A9151;
	Mon,  6 Feb 2017 16:06:38 +0000 (UTC)
Date: Mon, 6 Feb 2017 17:06:36 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Ivan Gotovchits <ivg@ieee.org>
Cc: Hendrik Boom <hendrik@topoi.pooq.com>, caml-list
 <caml-list@inria.fr>
Message-ID: <0ECCC1BB21C54434AAAC2793D638484C@erratique.ch>
In-Reply-To: <CALdWJ+yJvfdMaEvY+nFKMCV2ihPxwrX2NddPEoyi3fG2GK4mTA@mail.gmail.com>
References: <20170127142246.919C212146E@mcclellan.cs.miami.edu>
 <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu>
 <CC4FFB55-E373-4764-9AAB-19488A29A5D8@math.nagoya-u.ac.jp>
 <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch>
 <20170206140253.GA20685@topoi.pooq.com>
 <CALdWJ+yJvfdMaEvY+nFKMCV2ihPxwrX2NddPEoyi3fG2GK4mTA@mail.gmail.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front?

On Monday, 6 February 2017 at 17:01, Ivan Gotovchits wrote:
> For example, when I see, that a function requires a value of type `Uuidm.t`, then a search for `_ -> Uuidm.t` will reveal all possible ways to create it.

So domain vs range position seems a useful distinction. 

D