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.2.0.tbz

sha256=a20a3c025eb7587c19c175ce66c6a3a6046b0e7d44ce1b3bd6d96beffe052c6a

sha512=95d32bbb5ab0fde1a29102ba3abdd1b7746910e91c6a0f4148951ccb24e53487aa630eb0858d4251d6f1dae94f4155425ea43cf2201832daab9419d91b6aa2c7

doc/index.html

flex-array

API

Library flex-array

Flex_array Flexible arrays.

On This Page

API
1. Library flex-array