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 882747EE5B for ; Tue, 13 May 2014 18:40:22 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.213.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of milanst@gmail.com designates 209.85.213.178 as permitted sender) identity=mailfrom; client-ip=209.85.213.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.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@mail-ig0-f178.google.com) identity=helo; client-ip=209.85.213.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ig0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoBAH1KclPRVdWylWdsb2JhbABZhC2CZ8MWAYEaCBYOAQEBAQcNCQkSKoIlAQEFIx0BGx0BAwwGBQsDCgICJgICIgERAQUBHAYTiCwBAxGgCYwRUYMNj3kKGScNZIVwEQEFDIEejSQHgnWBSwSZUJEfGCmFAiE X-IPAS-Result: ApoBAH1KclPRVdWylWdsb2JhbABZhC2CZ8MWAYEaCBYOAQEBAQcNCQkSKoIlAQEFIx0BGx0BAwwGBQsDCgICJgICIgERAQUBHAYTiCwBAxGgCYwRUYMNj3kKGScNZIVwEQEFDIEejSQHgnWBSwSZUJEfGCmFAiE X-IronPort-AV: E=Sophos;i="4.97,1044,1389740400"; d="scan'208";a="73477370" Received: from mail-ig0-f178.google.com ([209.85.213.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 May 2014 18:40:21 +0200 Received: by mail-ig0-f178.google.com with SMTP id hl10so625320igb.17 for ; Tue, 13 May 2014 09:40:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=wHHT36Srhfqr0OrK+K++yZJfhEMtMypjdP6p2qG1uY0=; b=0djV9TOB1zEcpFukpHulzCbxXoAGqZWUzEdvtm4cEuJktJJ64M9J5+P4jy5ItAalme dZNQVQplzbPxc60p+ZiCRVP6SVXmbXl37g32PZg5Dvl2U8syuolgL+dIhym6Hk8HcOJY yM/9Bxof5/RjDPrBpiHQlmHQuv0uxihiwpltRe/iWHImOZCL2sWNSaZbBxCsQfn9fvTm ExFoz3rxeEjViW2kkk1dZrukxrwC0uYsj7X1GzuKS9ya3M4tV/VUj+zre+CW497k5nwq S54VtRLDRnAZjYhbsfAxYp/k7uRH9sYkFQCUNU4gWKdJ8f2GeMp7CTbYSbBO1wd9I7Da cpew== X-Received: by 10.50.225.1 with SMTP id rg1mr36343881igc.0.1399999220575; Tue, 13 May 2014 09:40:20 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.141.114 with HTTP; Tue, 13 May 2014 09:39:40 -0700 (PDT) In-Reply-To: References: From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Tue, 13 May 2014 12:39:40 -0400 Message-ID: To: Jeremie Dimino Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] open extensible types representation Thanks, Jeremie. How are these unique identifiers created? Is matching done by doing binary search on them? On Tue, May 13, 2014 at 12:08 PM, Jeremie Dimino wrote: > On Tue, May 13, 2014 at 5:07 PM, Jeremie Dimino > wrote: >> >> For a constructor argument it is a constructed value of size 2 and tag >> [Obj.object_tag]: > > > I meant constructor *without* argument > > -- > Jeremie