flex-array
  1. Overview
  2. Docs
Flexible arrays

Install

github.com Readme Changelog LGPL-2.1-only License Edit opam file

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

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

Sources

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

Description

Flexible arrays are arrays whose size can be changed by adding or removing elements at either end (one at a time).

Published: 22 Feb 2021

Dependencies (2)

  1. dune >= "2.0.0"
  2. ocaml

Dev Dependencies (1)

  1. alcotest with-test

Used by (2)

  1. agrid
  2. atable

Conflicts

None