package sek

  1. Overview
  2. Docs
On This Page
  1. API
    1. Library sek
An efficient implementation of ephemeral and persistent sequences

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (3)

Authors

  1. A
    Arthur Charguéraud <arthur.chargueraud@inria.fr>
  2. Ã
    Émilie Guermeur <then at Inria>
  3. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=cf541b6d254a5b76c600ce9b46452569
sha512=3a75ac74022234141f8423200070058a7b843e55a5db6bce3a311422e533e70ced956383926d819260e0b2cd06e3cdee340b656265c34e94f9cd0aa3bfbbab4f

doc/index.html

sek

API

Library sek

  • Sek This library offers efficient implementations of ephemeral sequences and persistent sequences, together with efficient conversions between these two data structures.