package flex-array

  1. Overview
  2. Docs
Flexible arrays

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

  1. J
    Jean-Christophe.Filliatre@cnrs.fr

Sources

flex-array-1.2.0.tbz
sha256=a20a3c025eb7587c19c175ce66c6a3a6046b0e7d44ce1b3bd6d96beffe052c6a
sha512=95d32bbb5ab0fde1a29102ba3abdd1b7746910e91c6a0f4148951ccb24e53487aa630eb0858d4251d6f1dae94f4155425ea43cf2201832daab9419d91b6aa2c7

CHANGES.md.html

1.2.0

  • added pp, mapi

1.1.0

  • improved make (now O(log n))

  • added init, of_array, map, of_list

1.0.0

  • first release