flex-arrayversion
Flexible arrays
Flexible arrays are arrays whose size can be changed by adding or removing elements at either end (one at a time).
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/flex-array |
| Issue Tracker | https://github.com/backtracking/flex-array/issues |
| Maintainer | Jean-Christophe.Filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/flex-array/releases/download/1.2.0/flex-array-1.2.0.tbz sha256=a20a3c025eb7587c19c175ce66c6a3a6046b0e7d44ce1b3bd6d96beffe052c6a sha512=95d32bbb5ab0fde1a29102ba3abdd1b7746910e91c6a0f4148951ccb24e53487aa630eb0858d4251d6f1dae94f4155425ea43cf2201832daab9419d91b6aa2c7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/flex-array/flex-array.1.2.0/opam |
