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).

AuthorJean-Christophe Filli√Ętre
LicenseLGPL-2.1
Published
Homepagehttps://github.com/backtracking/flex-array
Issue Trackerhttps://github.com/backtracking/flex-array/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/backtracking/flex-array/releases/download/1.0.0/flex-array-1.0.0.tbz
sha256=0d9da0707db8e28d3f40ec59ba2b8539728af1db952b1761868195b3fc942e39
sha512=40aae4da9e2a049c8dd1a3da73e78ca765329f2bb3401a04fd8cc88fcea8f4187c0574a1d0568235688d9650170424415711b79b69cd4119f8cad3465be8ddf6
StatisticsInstalled 27 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/flex-array/flex-array.1.0.0/opam
No package is dependent