c49b8b285e6deaa4e53276088bfe5ec804da6cfe
1 (**************************************************************************)
5 (* François Pottier, INRIA Rocquencourt *)
6 (* Yann Régis-Gianas, PPS, Université Paris Diderot *)
8 (* Copyright 2005-2008 Institut National de Recherche en Informatique *)
9 (* et en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0, with the change *)
11 (* described in file LICENSE. *)
13 (**************************************************************************)
15 (* This is an implementation of Patricia trees, following Chris Okasaki's paper at the 1998 ML Workshop in Baltimore.
16 Both big-endian and little-endian trees are provided. Both sets and maps are implemented on top of Patricia
19 module Little
: GMap.S
with type key
= int
21 module Big
: GMap.S
with type key
= int