Sophie: ocaml-reins-devel-0.1a-10.fc15 i686

ocaml-reins-devel-0.1a-10.fc15.i686.rpm

Files

-rw-r--r--	1873	root	root	/usr/lib/ocaml/reins/aVLMap.mli
-rw-r--r--	5442	root	root	/usr/lib/ocaml/reins/aVLSet.mli
-rw-r--r--	788	root	root	/usr/lib/ocaml/reins/binomialHeap.mli
-rw-r--r--	5604	root	root	/usr/lib/ocaml/reins/catenableList.mli
-rw-r--r--	9857	root	root	/usr/lib/ocaml/reins/doubleList.mli
-rw-r--r--	7019	root	root	/usr/lib/ocaml/reins/doubleQueue.mli
-rw-r--r--	1351	root	root	/usr/lib/ocaml/reins/dug.mli
-rw-r--r--	2381	root	root	/usr/lib/ocaml/reins/dugADT.mli
-rw-r--r--	1224	root	root	/usr/lib/ocaml/reins/dugExtractor.mli
-rw-r--r--	925	root	root	/usr/lib/ocaml/reins/dugGenerator.mli
-rw-r--r--	1610	root	root	/usr/lib/ocaml/reins/dugProfile.mli
-rw-r--r--	1639	root	root	/usr/lib/ocaml/reins/heaps.mli
-rw-r--r--	4945	root	root	/usr/lib/ocaml/reins/iterator.mli
-rw-r--r--	3468	root	root	/usr/lib/ocaml/reins/listCursor.mli
-rw-r--r--	1602	root	root	/usr/lib/ocaml/reins/listIterator.mli
-rw-r--r--	3763	root	root	/usr/lib/ocaml/reins/lists.mli
-rw-r--r--	6374	root	root	/usr/lib/ocaml/reins/maps.mli
-rw-r--r--	1003	root	root	/usr/lib/ocaml/reins/oracle.mli
-rw-r--r--	1131	root	root	/usr/lib/ocaml/reins/oracleList.mli
-rw-r--r--	1239	root	root	/usr/lib/ocaml/reins/oracleSet.mli
-rw-r--r--	1096	root	root	/usr/lib/ocaml/reins/patriciaMap.mli
-rw-r--r--	1550	root	root	/usr/lib/ocaml/reins/patriciaSet.mli
-rw-r--r--	2370	root	root	/usr/lib/ocaml/reins/quickcheck.mli
-rw-r--r--	880	root	root	/usr/lib/ocaml/reins/rBMap.mli
-rw-r--r--	1987	root	root	/usr/lib/ocaml/reins/rBSet.mli
-rw-r--r--	610476	root	root	/usr/lib/ocaml/reins/reins.a
-rw-r--r--	83652	root	root	/usr/lib/ocaml/reins/reins.cmx
-rw-r--r--	1874	root	root	/usr/lib/ocaml/reins/reins.cmxa
-rw-r--r--	5023	root	root	/usr/lib/ocaml/reins/sList.mli
-rw-r--r--	8769	root	root	/usr/lib/ocaml/reins/sets.mli
-rw-r--r--	6445	root	root	/usr/lib/ocaml/reins/skewBinaryList.mli
-rw-r--r--	786	root	root	/usr/lib/ocaml/reins/skewBinomialHeap.mli
-rw-r--r--	1570	root	root	/usr/lib/ocaml/reins/splayMap.mli
-rw-r--r--	2551	root	root	/usr/lib/ocaml/reins/splaySet.mli
-rw-r--r--	1678	root	root	/usr/lib/ocaml/reins/treeSetIterator.mli
-rw-r--r--	20946	root	root	/usr/lib/ocaml/reins/types.mli
-rw-r--r--	683	root	root	/usr/lib/ocaml/reins/version.mli
drwxr-xr-x	4096	root	root	/usr/share/doc/ocaml-reins-devel-0.1a
-rw-r--r--	29	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/AUTHORS
-rw-r--r--	1065	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/COPYING
-rw-r--r--	26527	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/LGPL-2.1
drwxr-xr-x	4096	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html
drwxr-xr-x	32768	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api
-rw-r--r--	4613	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/index.html
-rw-r--r--	2375	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.AVL_GenKeyMap.html
-rw-r--r--	2297	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.AVL_GenMap.html
-rw-r--r--	3781	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.AVL_KeyMap.html
-rw-r--r--	3683	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.AVL_Map.html
-rw-r--r--	3750	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.AVL_PMap.html
-rw-r--r--	1565	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Gen1.html
-rw-r--r--	1563	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Gen2.html
-rw-r--r--	1473	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Gen3.html
-rw-r--r--	1645	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.GenKey1.html
-rw-r--r--	1643	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.GenKey2.html
-rw-r--r--	1639	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.GenKey3.html
-rw-r--r--	1657	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.GenKeyMap.html
-rw-r--r--	1585	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.GenMap.html
-rw-r--r--	2951	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Mono1.html
-rw-r--r--	2947	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Mono2.html
-rw-r--r--	2945	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Mono3.html
-rw-r--r--	3055	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.MonoKey1.html
-rw-r--r--	3061	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.MonoKey2.html
-rw-r--r--	3059	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.MonoKey3.html
-rw-r--r--	3069	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.MonoKeyMap.html
-rw-r--r--	2965	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.MonoMap.html
-rw-r--r--	3034	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Poly1.html
-rw-r--r--	3024	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Poly2.html
-rw-r--r--	3030	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.Poly3.html
-rw-r--r--	2948	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.PolyMap.html
-rw-r--r--	8581	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLMap.html
-rw-r--r--	3314	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.AVL_GenSet.html
-rw-r--r--	3737	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.AVL_MonoSet.html
-rw-r--r--	3656	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.AVL_PolySet.html
-rw-r--r--	1907	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.GenSet.html
-rw-r--r--	1722	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.GenSet1.html
-rw-r--r--	1716	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.GenSet2.html
-rw-r--r--	1620	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.GenSet3.html
-rw-r--r--	2118	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.MonoSet.html
-rw-r--r--	2141	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.MonoSet1.html
-rw-r--r--	2135	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.MonoSet2.html
-rw-r--r--	2139	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.MonoSet3.html
-rw-r--r--	2225	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.PolySet.html
-rw-r--r--	2064	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.PolySet1.html
-rw-r--r--	2058	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.PolySet2.html
-rw-r--r--	2064	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.PolySet3.html
-rw-r--r--	9244	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.AVLSet.html
-rw-r--r--	1647	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.BinomialHeap.GenHeap.html
-rw-r--r--	1720	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.BinomialHeap.MonoHeap.html
-rw-r--r--	1642	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.BinomialHeap.PolyHeap.html
-rw-r--r--	2023	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.BinomialHeap.html
-rw-r--r--	12266	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.CatenableList.html
-rw-r--r--	20774	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DoubleList.Make.html
-rw-r--r--	2147	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DoubleList.html
-rw-r--r--	15793	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DoubleQueue.html
-rw-r--r--	6566	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Dug.Id.html
-rw-r--r--	5122	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Dug.html
-rw-r--r--	3984	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugADT.S.html
-rw-r--r--	1493	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugADT.html
-rw-r--r--	3490	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugExtractor.html
-rw-r--r--	2567	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugGenerator.Make.html
-rw-r--r--	2039	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugGenerator.html
-rw-r--r--	3964	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugProfile.Make.html
-rw-r--r--	1747	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.DugProfile.html
-rw-r--r--	1608	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.GenHeapSig.html
-rw-r--r--	2287	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.GenHeapSigFn.html
-rw-r--r--	3000	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.Heap_.html
-rw-r--r--	1786	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.MonoHeapSig.html
-rw-r--r--	2444	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.MonoHeapSigFn.html
-rw-r--r--	1612	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.PolyHeapSig.html
-rw-r--r--	3075	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Heaps.html
-rw-r--r--	11171	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Iterator.S.html
-rw-r--r--	1546	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Iterator.html
-rw-r--r--	7601	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListCursor.Make.html
-rw-r--r--	6960	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListCursor.S.html
-rw-r--r--	1955	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListCursor.html
-rw-r--r--	3122	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListIterator.From_List.html
-rw-r--r--	3015	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListIterator.Make.html
-rw-r--r--	2181	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListIterator.S.html
-rw-r--r--	2857	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.ListIterator.html
-rw-r--r--	9212	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Lists.ListSig.html
-rw-r--r--	1517	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Lists.html
-rw-r--r--	1670	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenKeyMapSig.html
-rw-r--r--	2361	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenKeyMapSigFnStd.html
-rw-r--r--	1707	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenKeyMapSigStd.html
-rw-r--r--	1591	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenMapSig.html
-rw-r--r--	2765	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenMapSigFn.html
-rw-r--r--	2701	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.GenMapSigFnStd.html
-rw-r--r--	11049	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.Map_.html
-rw-r--r--	3075	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoKeyMapSig.html
-rw-r--r--	3745	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoKeyMapSigFnStd.html
-rw-r--r--	3125	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoKeyMapSigStd.html
-rw-r--r--	2976	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoMapSig.html
-rw-r--r--	4077	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoMapSigFn.html
-rw-r--r--	4108	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.MonoMapSigFnStd.html
-rw-r--r--	3039	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.PolyMapSig.html
-rw-r--r--	3097	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.PolyMapSigStd.html
-rw-r--r--	7211	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Maps.html
-rw-r--r--	1487	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Oracle.ProfiledSet.html
-rw-r--r--	1541	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Oracle.RestrictedSet.html
-rw-r--r--	1813	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Oracle.html
-rw-r--r--	1422	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.OracleList.html
-rw-r--r--	2193	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.OracleSet.Benchmark.html
-rw-r--r--	2459	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.OracleSet.Extractor.html
-rw-r--r--	2402	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.OracleSet.html
-rw-r--r--	1742	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaMap.GenKeyMap.html
-rw-r--r--	2247	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaMap.GenMap.html
-rw-r--r--	3034	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaMap.MonoKeyMap.html
-rw-r--r--	3700	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaMap.MonoMap.html
-rw-r--r--	2899	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaMap.html
-rw-r--r--	1759	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaSet.GenSet.html
-rw-r--r--	2014	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaSet.MonoSet.html
-rw-r--r--	2842	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.PatriciaSet.html
-rw-r--r--	2599	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Quickcheck.Check.html
-rw-r--r--	2352	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Quickcheck.Config.html
-rw-r--r--	1721	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Quickcheck.Law.Arg.html
-rw-r--r--	2414	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Quickcheck.Law.html
-rw-r--r--	2576	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Quickcheck.html
-rw-r--r--	1648	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.GenKeyMap.html
-rw-r--r--	1480	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.GenMap.html
-rw-r--r--	3060	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.MonoKeyMap.html
-rw-r--r--	2956	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.MonoMap.html
-rw-r--r--	2935	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.PolyMap.html
-rw-r--r--	2424	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBMap.html
-rw-r--r--	1794	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBSet.GenSet.html
-rw-r--r--	2114	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBSet.MonoSet.html
-rw-r--r--	2221	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBSet.PolySet.html
-rw-r--r--	3161	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.RBSet.html
-rw-r--r--	11859	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SList.html
-rw-r--r--	1753	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.GenSetSig.html
-rw-r--r--	2271	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.GenSetSigFn.html
-rw-r--r--	2303	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.GenSetSigFnStd.html
-rw-r--r--	2146	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.MonoSetSig.html
-rw-r--r--	2652	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.MonoSetSigFn.html
-rw-r--r--	2680	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.MonoSetSigFnStd.html
-rw-r--r--	2047	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.PolySetSig.html
-rw-r--r--	1863	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.PolySetSigStd.html
-rw-r--r--	16639	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.Set_.html
-rw-r--r--	4869	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Sets.html
-rw-r--r--	13869	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SkewBinaryList.html
-rw-r--r--	1683	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SkewBinomialHeap.GenHeap.html
-rw-r--r--	1748	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SkewBinomialHeap.MonoHeap.html
-rw-r--r--	1670	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SkewBinomialHeap.PolyHeap.html
-rw-r--r--	2051	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SkewBinomialHeap.html
-rw-r--r--	2427	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.GenKeyMap.html
-rw-r--r--	2777	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.GenMap.html
-rw-r--r--	3808	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.MonoKeyMap.html
-rw-r--r--	4190	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.MonoMap.html
-rw-r--r--	3009	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.PolyMap.html
-rw-r--r--	4361	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplayMap.html
-rw-r--r--	2560	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplaySet.GenSet.html
-rw-r--r--	3021	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplaySet.MonoSet.html
-rw-r--r--	2286	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplaySet.PolySet.html
-rw-r--r--	3989	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.SplaySet.html
-rw-r--r--	4578	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.TreeSetIterator.Make.html
-rw-r--r--	3837	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.TreeSetIterator.S.html
-rw-r--r--	2250	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.TreeSetIterator.html
-rw-r--r--	16796	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Big_int.html
-rw-r--r--	2046	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Bool.html
-rw-r--r--	2047	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Char.html
-rw-r--r--	5694	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Complex.html
-rw-r--r--	2055	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Float.html
-rw-r--r--	4903	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Int.html
-rw-r--r--	5815	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Int32.html
-rw-r--r--	6349	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Int64.html
-rw-r--r--	6600	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Integral.html
-rw-r--r--	1869	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Arbitrary.html
-rw-r--r--	1576	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.ArbitraryComparable.html
-rw-r--r--	1898	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Comparable.html
-rw-r--r--	3492	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Comparable3Tuple.html
-rw-r--r--	3053	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.ComparablePair.html
-rw-r--r--	2963	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.ComposeComparable.html
-rw-r--r--	2999	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.ComposeGen.html
-rw-r--r--	3381	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.ComposeGenComparable.html
-rw-r--r--	1599	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Equatable.html
-rw-r--r--	3246	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Gen3Tuple.html
-rw-r--r--	2922	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.GenPair.html
-rw-r--r--	1620	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.Hashable.html
-rw-r--r--	7928	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Mono.html
-rw-r--r--	6167	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Nativeint.html
-rw-r--r--	1985	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Option.html
-rw-r--r--	1945	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.Arbitrary.html
-rw-r--r--	1603	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.ArbitraryComparable.html
-rw-r--r--	2011	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.Close.html
-rw-r--r--	1959	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.Comparable.html
-rw-r--r--	2993	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.ComposeComparable.html
-rw-r--r--	3044	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.ComposeGen.html
-rw-r--r--	3445	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.ComposeGenComparable.html
-rw-r--r--	1608	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.Equatable.html
-rw-r--r--	1623	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.Hashable.html
-rw-r--r--	4874	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Poly.html
-rw-r--r--	16759	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.Ratio.html
-rw-r--r--	5874	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.String.html
-rw-r--r--	4292	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Types.html
-rw-r--r--	1354	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.Version.html
-rw-r--r--	7498	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/Reins.html
-rw-r--r--	1169	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index.html
-rw-r--r--	742	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_attributes.html
-rw-r--r--	732	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_class_types.html
-rw-r--r--	724	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_classes.html
-rw-r--r--	911	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_exceptions.html
-rw-r--r--	736	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_methods.html
-rw-r--r--	8593	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_module_types.html
-rw-r--r--	23643	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_modules.html
-rw-r--r--	16118	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_types.html
-rw-r--r--	136407	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/index_values.html
-rw-r--r--	2299	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/style.css
-rw-r--r--	1063	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.AVL_GenKeyMap.html
-rw-r--r--	1057	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.AVL_GenMap.html
-rw-r--r--	1061	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.AVL_KeyMap.html
-rw-r--r--	1055	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.AVL_Map.html
-rw-r--r--	1051	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.AVL_PMap.html
-rw-r--r--	770	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Gen1.html
-rw-r--r--	770	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Gen2.html
-rw-r--r--	770	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Gen3.html
-rw-r--r--	776	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.GenKey1.html
-rw-r--r--	776	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.GenKey2.html
-rw-r--r--	776	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.GenKey3.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.GenKeyMap.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.GenMap.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Mono1.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Mono2.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Mono3.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.MonoKey1.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.MonoKey2.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.MonoKey3.html
-rw-r--r--	780	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.MonoKeyMap.html
-rw-r--r--	774	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.MonoMap.html
-rw-r--r--	767	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Poly1.html
-rw-r--r--	767	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Poly2.html
-rw-r--r--	767	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.Poly3.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.PolyMap.html
-rw-r--r--	7191	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLMap.html
-rw-r--r--	1057	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.AVL_GenSet.html
-rw-r--r--	1059	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.AVL_MonoSet.html
-rw-r--r--	1057	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.AVL_PolySet.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.GenSet.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.GenSet1.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.GenSet2.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.GenSet3.html
-rw-r--r--	774	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.MonoSet.html
-rw-r--r--	775	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.MonoSet1.html
-rw-r--r--	775	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.MonoSet2.html
-rw-r--r--	775	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.MonoSet3.html
-rw-r--r--	772	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.PolySet.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.PolySet1.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.PolySet2.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.PolySet3.html
-rw-r--r--	4617	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.AVLSet.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.BinomialHeap.GenHeap.html
-rw-r--r--	780	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.BinomialHeap.MonoHeap.html
-rw-r--r--	778	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.BinomialHeap.PolyHeap.html
-rw-r--r--	1342	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.BinomialHeap.html
-rw-r--r--	9951	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.CatenableList.html
-rw-r--r--	19432	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DoubleList.Make.html
-rw-r--r--	21528	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DoubleList.html
-rw-r--r--	12277	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DoubleQueue.html
-rw-r--r--	760	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Dug.Id.html
-rw-r--r--	5646	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Dug.html
-rw-r--r--	6442	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugADT.S.html
-rw-r--r--	7275	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugADT.html
-rw-r--r--	6374	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugExtractor.html
-rw-r--r--	2474	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugGenerator.Make.html
-rw-r--r--	2885	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugGenerator.html
-rw-r--r--	3287	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugProfile.Make.html
-rw-r--r--	3890	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.DugProfile.html
-rw-r--r--	3107	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.GenHeapSig.html
-rw-r--r--	3607	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.GenHeapSigFn.html
-rw-r--r--	4247	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.Heap_.html
-rw-r--r--	2847	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.MonoHeapSig.html
-rw-r--r--	3326	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.MonoHeapSigFn.html
-rw-r--r--	3045	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.PolyHeapSig.html
-rw-r--r--	19811	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Heaps.html
-rw-r--r--	9636	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Iterator.S.html
-rw-r--r--	10686	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Iterator.html
-rw-r--r--	3884	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListCursor.Make.html
-rw-r--r--	5913	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListCursor.S.html
-rw-r--r--	10384	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListCursor.html
-rw-r--r--	6822	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListIterator.From_List.html
-rw-r--r--	6737	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListIterator.Make.html
-rw-r--r--	5955	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListIterator.S.html
-rw-r--r--	20548	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.ListIterator.html
-rw-r--r--	11040	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Lists.ListSig.html
-rw-r--r--	12066	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Lists.html
-rw-r--r--	17619	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenKeyMapSig.html
-rw-r--r--	18757	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenKeyMapSigFnStd.html
-rw-r--r--	17670	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenKeyMapSigStd.html
-rw-r--r--	16210	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenMapSig.html
-rw-r--r--	18346	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenMapSigFn.html
-rw-r--r--	18397	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.GenMapSigFnStd.html
-rw-r--r--	25628	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.Map_.html
-rw-r--r--	17932	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoKeyMapSig.html
-rw-r--r--	18088	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoKeyMapSigFnStd.html
-rw-r--r--	17046	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoKeyMapSigStd.html
-rw-r--r--	16964	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoMapSig.html
-rw-r--r--	18044	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoMapSigFn.html
-rw-r--r--	18095	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.MonoMapSigFnStd.html
-rw-r--r--	18873	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.PolyMapSig.html
-rw-r--r--	18302	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.PolyMapSigStd.html
-rw-r--r--	292829	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Maps.html
-rw-r--r--	13992	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Oracle.ProfiledSet.html
-rw-r--r--	10310	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Oracle.RestrictedSet.html
-rw-r--r--	26565	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Oracle.html
-rw-r--r--	4437	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.OracleList.html
-rw-r--r--	13202	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.OracleSet.Benchmark.html
-rw-r--r--	12016	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.OracleSet.Extractor.html
-rw-r--r--	31036	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.OracleSet.html
-rw-r--r--	17639	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaMap.GenKeyMap.html
-rw-r--r--	17314	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaMap.GenMap.html
-rw-r--r--	17015	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaMap.MonoKeyMap.html
-rw-r--r--	17033	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaMap.MonoMap.html
-rw-r--r--	73395	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaMap.html
-rw-r--r--	10324	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaSet.GenSet.html
-rw-r--r--	10064	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaSet.MonoSet.html
-rw-r--r--	22160	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.PatriciaSet.html
-rw-r--r--	1416	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Quickcheck.Check.html
-rw-r--r--	1031	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Quickcheck.Config.html
-rw-r--r--	811	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Quickcheck.Law.Arg.html
-rw-r--r--	1224	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Quickcheck.Law.html
-rw-r--r--	3169	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Quickcheck.html
-rw-r--r--	777	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.GenKeyMap.html
-rw-r--r--	771	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.GenMap.html
-rw-r--r--	779	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.MonoKeyMap.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.MonoMap.html
-rw-r--r--	768	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.PolyMap.html
-rw-r--r--	1736	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBMap.html
-rw-r--r--	771	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBSet.GenSet.html
-rw-r--r--	773	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBSet.MonoSet.html
-rw-r--r--	771	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBSet.PolySet.html
-rw-r--r--	1335	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.RBSet.html
-rw-r--r--	20333	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SList.html
-rw-r--r--	10256	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.GenSetSig.html
-rw-r--r--	11128	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.GenSetSigFn.html
-rw-r--r--	11179	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.GenSetSigFnStd.html
-rw-r--r--	9996	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.MonoSetSig.html
-rw-r--r--	10847	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.MonoSetSigFn.html
-rw-r--r--	10898	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.MonoSetSigFnStd.html
-rw-r--r--	10364	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.PolySetSig.html
-rw-r--r--	10415	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.PolySetSigStd.html
-rw-r--r--	17082	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.Set_.html
-rw-r--r--	108351	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Sets.html
-rw-r--r--	10869	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SkewBinaryList.html
-rw-r--r--	782	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SkewBinomialHeap.GenHeap.html
-rw-r--r--	784	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SkewBinomialHeap.MonoHeap.html
-rw-r--r--	782	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SkewBinomialHeap.PolyHeap.html
-rw-r--r--	1346	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SkewBinomialHeap.html
-rw-r--r--	18887	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.GenKeyMap.html
-rw-r--r--	18519	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.GenMap.html
-rw-r--r--	18219	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.MonoKeyMap.html
-rw-r--r--	18218	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.MonoMap.html
-rw-r--r--	18440	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.PolyMap.html
-rw-r--r--	98282	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplayMap.html
-rw-r--r--	11265	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplaySet.GenSet.html
-rw-r--r--	10985	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplaySet.MonoSet.html
-rw-r--r--	10509	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplaySet.PolySet.html
-rw-r--r--	35172	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.SplaySet.html
-rw-r--r--	7186	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.TreeSetIterator.Make.html
-rw-r--r--	6655	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.TreeSetIterator.S.html
-rw-r--r--	14880	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.TreeSetIterator.html
-rw-r--r--	27444	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Big_int.html
-rw-r--r--	1791	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Bool.html
-rw-r--r--	1759	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Char.html
-rw-r--r--	8238	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Complex.html
-rw-r--r--	1767	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Float.html
-rw-r--r--	5463	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Int.html
-rw-r--r--	7795	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Int32.html
-rw-r--r--	8615	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Int64.html
-rw-r--r--	11095	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Integral.html
-rw-r--r--	1533	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Arbitrary.html
-rw-r--r--	1405	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.ArbitraryComparable.html
-rw-r--r--	1638	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Comparable.html
-rw-r--r--	2675	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Comparable3Tuple.html
-rw-r--r--	2325	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.ComparablePair.html
-rw-r--r--	2364	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.ComposeComparable.html
-rw-r--r--	2161	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.ComposeGen.html
-rw-r--r--	2943	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.ComposeGenComparable.html
-rw-r--r--	1340	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Equatable.html
-rw-r--r--	2442	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Gen3Tuple.html
-rw-r--r--	2121	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.GenPair.html
-rw-r--r--	1092	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.Hashable.html
-rw-r--r--	20197	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Mono.html
-rw-r--r--	8189	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Nativeint.html
-rw-r--r--	2633	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Option.html
-rw-r--r--	2121	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.Arbitrary.html
-rw-r--r--	2300	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.ArbitraryComparable.html
-rw-r--r--	1811	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.Close.html
-rw-r--r--	2239	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.Comparable.html
-rw-r--r--	2993	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.ComposeComparable.html
-rw-r--r--	2847	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.ComposeGen.html
-rw-r--r--	3983	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.ComposeGenComparable.html
-rw-r--r--	1486	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.Equatable.html
-rw-r--r--	1256	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.Hashable.html
-rw-r--r--	18616	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Poly.html
-rw-r--r--	27224	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.Ratio.html
-rw-r--r--	8597	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.String.html
-rw-r--r--	170423	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Types.html
-rw-r--r--	821	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.Version.html
-rw-r--r--	1162859	root	root	/usr/share/doc/ocaml-reins-devel-0.1a/html/api/type_Reins.html