mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
2326ae0078
The allocator means calling a closure at each step, which means local a reference will have to be heap allocated (and worse, that floats will be unboxed). Instead we give the function a pair of low,high bounds for a local for. |
||
|---|---|---|
| .. | ||
| dune | ||
| fib_rec.ml | ||
| pi.ml | ||