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

sha256=0d9da0707db8e28d3f40ec59ba2b8539728af1db952b1761868195b3fc942e39

sha512=40aae4da9e2a049c8dd1a3da73e78ca765329f2bb3401a04fd8cc88fcea8f4187c0574a1d0568235688d9650170424415711b79b69cd4119f8cad3465be8ddf6

doc/index.html

flex-array

API

Library flex-array

Flex_array Flexible arrays.

On This Page

API
1. Library flex-array