From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.gazagnaire@gmail.com>
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 4E6377F720
	for <caml-list@sympa.inria.fr>; Tue, 15 Apr 2014 15:50:44 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thomas.gazagnaire@gmail.com) identity=pra;
  client-ip=209.85.212.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  thomas.gazagnaire@gmail.com designates 209.85.212.182 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@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-wi0-f182.google.com) identity=helo;
  client-ip=209.85.212.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="postmaster@mail-wi0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar4BANE4TVPRVdS2lGdsb2JhbABYyGIWDgEBAQEHCwsJEiqCJQEBAQMBJxMGATgBAwELAQUFRjQBBQEcBod7AwkIBZ0dj22XfCcNhmMRAQUMkgKBFASpOEGBZ4J5
X-IPAS-Result: Ar4BANE4TVPRVdS2lGdsb2JhbABYyGIWDgEBAQEHCwsJEiqCJQEBAQMBJxMGATgBAwELAQUFRjQBBQEcBod7AwkIBZ0dj22XfCcNhmMRAQUMkgKBFASpOEGBZ4J5
X-IronPort-AV: E=Sophos;i="4.97,864,1389740400"; 
   d="scan'208";a="68352163"
Received: from mail-wi0-f182.google.com ([209.85.212.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Apr 2014 15:50:43 +0200
Received: by mail-wi0-f182.google.com with SMTP id d1so5709461wiv.3
        for <caml-list@inria.fr>; Tue, 15 Apr 2014 06:50:43 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to;
        bh=nX1t2D0Xd2k7FXnHci7abe5P9PZwIyA7+j4/30csyKA=;
        b=i/nZ8Dx/1FUHzMrk1un5nMHabJD1KwwkIP9s5qZJq0MiQQRFTDa1YsvzE6jE5csgKM
         lWmWk0J2TKHpCSnzJfSlnoOMcjLpJYRIWbjXp+c9QPsg6PawguFjVDy0q1XZV2582Aut
         nhXYR227yFCU7rdmg9cgMF62raVMBjuf+/T+7BkI4y+2AqXq6dl+mV6VUwyXSYhveeuV
         3NUK2aIA2XW4PpY2YcdsPABkZ0wM6dn9Cl46raJfLLrb/AoT1pcvifpn9oBRzmlFZJZu
         bwmx+KkU58JC6YD+DxBznT/ADmdMtpW26X9RU6XeqNO/3bnIcLyPm4mOhbppvJCVLFhz
         pRBA==
X-Received: by 10.180.78.41 with SMTP id y9mr1191456wiw.26.1397569843688;
        Tue, 15 Apr 2014 06:50:43 -0700 (PDT)
Received: from dhcp-172-17-43-217.wrd.lapwing.private.cam.ac.uk (global-1-19.nat.csx.cam.ac.uk. [131.111.184.19])
        by mx.google.com with ESMTPSA id fi2sm29741291wic.15.2014.04.15.06.50.38
        for <multiple recipients>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 15 Apr 2014 06:50:38 -0700 (PDT)
Sender: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\))
From: Thomas Gazagnaire <thomas@gazagnaire.org>
In-Reply-To: <CAAYUt0OA_59j+E70TWAgDq+2dWStFOLgNa=NJku-jtQ7y_7nXA@mail.gmail.com>
Date: Tue, 15 Apr 2014 14:50:37 +0100
Cc: Goswin von Brederlow <goswin-v-b@web.de>,
 caml-list <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
Message-Id: <08C4CEED-FAFF-49CE-9890-7A45C802CF02@gazagnaire.org>
References: <CAAYUt0P4AzcYPbNLYsHRpCnBGa=oJT3MRfKwZv-wE4vv-JXNkw@mail.gmail.com> <20140414081214.GD25532@frosties> <CAAYUt0OA_59j+E70TWAgDq+2dWStFOLgNa=NJku-jtQ7y_7nXA@mail.gmail.com>
To: Arthur Breitman <arthur.breitman@gmail.com>
X-Mailer: Apple Mail (2.1874)
Subject: Re: [Caml-list] Keeping A big data optimization problem functional

> type node = {value: string; children: node list option}  
> module type Context = begin
>   type t
>   val apply: t -> node -> t 
>   val get: t -> string -> string option 
>   val set: t -> string -> string -> t
>   val fitness -> int
>   val empty -> t
> end

What's the link between nodes and elements of your store ?

--
Thomas