package feat-core

  1. Overview
  2. Docs
Facilities for enumerating and sampling algebraic data types

Install

gitlab.inria.fr Readme Changelog MIT License Edit opam file

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=23cc28b0ed3aba97c0aec44f620e04de
sha512=e8903c0ff3c1185c4d24a4b39ed641b8200fd9feb18dcc60f23ca4bf6053d6c17f5a037b732fa8f301f41b86a761ae6ffe52272e6deb997730f62bd1c065afcc

Description

Published: 07 Apr 2022

Dependencies (4)

  1. fix >= "20201120"
  2. seq
  3. dune >= "1.4"
  4. ocaml >= "4.03"

Dev Dependencies

None

Used by (2)

  1. feat >= "20220407"
  2. feat-num >= "20220407"

Conflicts

None