From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1BKnsaj008888
	for <caml-list@sympa-roc.inria.fr>; Sat, 11 Feb 2012 21:49:54 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhICAIfTNk/RVdK2mGdsb2JhbABEgw2sYAgiAQEBAQEICQ0HFCeBcgEBAQQSAiQIARscAgMMBgULDQkWDwkDAgECARERAQUBHBMIAQEeozEKi3GCcIQTP4hzAgULi24KBwEFBAMEBAcOBgEDAhQTAwMBg18JdoMdBIhKjGiFWoE6hxE9hCA
X-IronPort-AV: E=Sophos;i="4.73,403,1325458800"; 
   d="scan'208";a="143852355"
Received: from mail-iy0-f182.google.com ([209.85.210.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Feb 2012 21:49:48 +0100
Received: by iaeo4 with SMTP id o4so3210846iae.27
        for <caml-list@inria.fr>; Sat, 11 Feb 2012 12:49:47 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=YwgEmFqi+kpu1I4qWNRgEz2UjCHfyM8xIYRmhAJkiFg=;
        b=Evgjl01IGuA1klnchwVsB32tsj/107D0a0Zwg3um0z2aT+N7B1C/QSVsWziUNUBXeE
         Hw/vqNsJ5H39vQsi79Hh4hUO0mxujJFCvtaDkmkzvrkGhBodoSQXRETGnaUhGoKUHpQB
         TtHAim+dmiEbx5EQMJlRJwsl2lnSoOAr3OPhw=
Received: by 10.50.216.201 with SMTP id os9mr18900325igc.22.1328993387846;
        Sat, 11 Feb 2012 12:49:47 -0800 (PST)
Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10])
        by mx.google.com with ESMTPS id ng9sm14247985igc.3.2012.02.11.12.49.46
        (version=SSLv3 cipher=OTHER);
        Sat, 11 Feb 2012 12:49:46 -0800 (PST)
Message-ID: <4F36D469.6070604@gmail.com>
Date: Sat, 11 Feb 2012 15:49:45 -0500
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111229 Thunderbird/9.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <4F346DB9.2070303@riken.jp> <20120210182914.GA17498@annexia.org> <87wr7tb77z.fsf@frosties.localnet>
In-Reply-To: <87wr7tb77z.fsf@frosties.localnet>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Fwd: interval trees

On 02/11/2012 12:38 PM, Goswin von Brederlow wrote:
>> On Fri, Feb 10, 2012 at 10:07:05AM +0900, Francois Berenger wrote:
>>> I need to use an interval tree.
>>>
>>> Biocaml has one, batteries have imap/iset, nice!
>>>
> Anyone have something like this but for non-overlapping intervals and
> allowing interval insertion and removal with merging and spliting of the
> internaly used intervals?

Yes, IMap / ISet (borrowed from camomile and improved) do this.  I 
assume biocaml's is the same.

E.