Facilities for enumerating and sampling algebraic data types

Description

Published: 31 Dec 2020

Dependencies (5)

  1. fix >= "20181206"
  2. seq
  3. zarith
  4. dune >= "1.3"
  5. ocaml >= "4.03"

Reverse Dependencies

    None

Conflicts

    None

Install

Documentation status is unknown. gitlab.inria.fr Edit opam file

Authors

Maintainers

Sources

archive.tar.gz
md5=84c4cb2a3579d6f7cb37564b47907519
sha512=9031651c9b2ce9c9d6bfa2a913e5df7ae993bccd6790cdae07768762258e2f942495033921f996fd8ed6885c177c7e3207bd24d27d25a0afbe358d82eda74fa2