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 (4)

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=56c31c65f3b0431943218f58d0ebda99
sha512=dfe7886d046c119780a196e17ac7efa8e989bcef3743f01d08d9aabc871fdc6b59d16b7445d01b30d3eb1bf4addca6c46e283065ff207ff4354a2ce6af245be7

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.