package flex-array

You can search for identifiers within the package.

in-package search v0.2.0

Flexible arrays

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

J

Jean-Christophe Filliâtre

Maintainers

J

Jean-Christophe.Filliatre@cnrs.fr

Sources

flex-array-1.1.0.tbz

sha256=067b0598b0134342b219735e839a9b7cecd4584573d1dc41ba4ed0e3e5141331

sha512=423b2125eb9ed7816d2e838e74a83250f1284ac7bcb037d7616cf0b5732328ed0023a2277a268919897c1a736da79b859b32c91a1cbc7f33d81c081484830031

doc/index.html

flex-array

API

Library flex-array

Flex_array Flexible arrays.

On This Page

API
1. Library flex-array