├── dune-project └── src ├── AbstractView.macros ├── Add.frag.ml ├── ArrayExtra.ml ├── ArrayExtra.mli ├── Baby.cppo.ml ├── Baby.mli ├── Compare.frag.ml ├── ConcreteView.macros ├── Conversions.frag.ml ├── Derived.macros ├── Diff.frag.ml ├── Disjoint.frag.ml ├── Empty.frag.ml ├── Enum.frag.ml ├── Equal.frag.ml ├── Filter.frag.ml ├── Find.frag.ml ├── H.cppo.ml ├── H.mli ├── Height.cppo.ml ├── HeightMap.mli ├── HeightSet.mli ├── Inter.frag.ml ├── Iter.frag.ml ├── Join.frag.ml ├── Map.frag.ml ├── Mem.frag.ml ├── MinMax.frag.ml ├── OfSortedUniqueArraySlice.frag.ml ├── RandomAccess.frag.ml ├── Remove.frag.ml ├── Signatures.cppo.ml ├── Split.frag.ml ├── Subset.frag.ml ├── TreeDef.frag.ml ├── Union.frag.ml ├── UpperLayer.frag.ml ├── W.cppo.ml ├── W.mli ├── Weight.cppo.ml ├── WeightMap.mli ├── WeightSet.mli ├── Xor.frag.ml ├── dune └── index.mld /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/dune-project -------------------------------------------------------------------------------- /src/AbstractView.macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/AbstractView.macros -------------------------------------------------------------------------------- /src/Add.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Add.frag.ml -------------------------------------------------------------------------------- /src/ArrayExtra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/ArrayExtra.ml -------------------------------------------------------------------------------- /src/ArrayExtra.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/ArrayExtra.mli -------------------------------------------------------------------------------- /src/Baby.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Baby.cppo.ml -------------------------------------------------------------------------------- /src/Baby.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Baby.mli -------------------------------------------------------------------------------- /src/Compare.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Compare.frag.ml -------------------------------------------------------------------------------- /src/ConcreteView.macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/ConcreteView.macros -------------------------------------------------------------------------------- /src/Conversions.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Conversions.frag.ml -------------------------------------------------------------------------------- /src/Derived.macros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Derived.macros -------------------------------------------------------------------------------- /src/Diff.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Diff.frag.ml -------------------------------------------------------------------------------- /src/Disjoint.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Disjoint.frag.ml -------------------------------------------------------------------------------- /src/Empty.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Empty.frag.ml -------------------------------------------------------------------------------- /src/Enum.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Enum.frag.ml -------------------------------------------------------------------------------- /src/Equal.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Equal.frag.ml -------------------------------------------------------------------------------- /src/Filter.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Filter.frag.ml -------------------------------------------------------------------------------- /src/Find.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Find.frag.ml -------------------------------------------------------------------------------- /src/H.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/H.cppo.ml -------------------------------------------------------------------------------- /src/H.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/H.mli -------------------------------------------------------------------------------- /src/Height.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Height.cppo.ml -------------------------------------------------------------------------------- /src/HeightMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/HeightMap.mli -------------------------------------------------------------------------------- /src/HeightSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/HeightSet.mli -------------------------------------------------------------------------------- /src/Inter.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Inter.frag.ml -------------------------------------------------------------------------------- /src/Iter.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Iter.frag.ml -------------------------------------------------------------------------------- /src/Join.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Join.frag.ml -------------------------------------------------------------------------------- /src/Map.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Map.frag.ml -------------------------------------------------------------------------------- /src/Mem.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Mem.frag.ml -------------------------------------------------------------------------------- /src/MinMax.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/MinMax.frag.ml -------------------------------------------------------------------------------- /src/OfSortedUniqueArraySlice.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/OfSortedUniqueArraySlice.frag.ml -------------------------------------------------------------------------------- /src/RandomAccess.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/RandomAccess.frag.ml -------------------------------------------------------------------------------- /src/Remove.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Remove.frag.ml -------------------------------------------------------------------------------- /src/Signatures.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Signatures.cppo.ml -------------------------------------------------------------------------------- /src/Split.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Split.frag.ml -------------------------------------------------------------------------------- /src/Subset.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Subset.frag.ml -------------------------------------------------------------------------------- /src/TreeDef.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/TreeDef.frag.ml -------------------------------------------------------------------------------- /src/Union.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Union.frag.ml -------------------------------------------------------------------------------- /src/UpperLayer.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/UpperLayer.frag.ml -------------------------------------------------------------------------------- /src/W.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/W.cppo.ml -------------------------------------------------------------------------------- /src/W.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/W.mli -------------------------------------------------------------------------------- /src/Weight.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Weight.cppo.ml -------------------------------------------------------------------------------- /src/WeightMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/WeightMap.mli -------------------------------------------------------------------------------- /src/WeightSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/WeightSet.mli -------------------------------------------------------------------------------- /src/Xor.frag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/Xor.frag.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/dune -------------------------------------------------------------------------------- /src/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fpottier/baby/HEAD/src/index.mld --------------------------------------------------------------------------------