Raphaël Proust 30bb11b988 Optimise segmentation ... Avoid costly `@` and prefer one-time reversal.		2023-08-29 15:45:04 +02:00
..
dune	Replacing dynlink by just using dune to link at compile time	2023-08-29 15:38:36 +02:00
stringCodepointSplitter.ml	Optimise segmentation	2023-08-29 15:45:04 +02:00