Opam Package feat.20201231

Package info

opam-namefeat
opam-version20201231
synopsisFacilities for enumerating and sampling algebraic data types
authors
  • François Pottier <francois.pottier@inria.fr>
homepagehttps://gitlab.inria.fr/fpottier/feat
license-fileLICENSE.md
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

feat

Package files

lib/feat/opam
lib/feat/feat__IFSeqSyn.cmx
lib/feat/feat__IFSeqSyn.cmti
lib/feat/feat__IFSeqSyn.cmt
lib/feat/feat__IFSeqSyn.cmi
lib/feat/feat__IFSeqSig.cmx
lib/feat/feat__IFSeqSig.cmt
lib/feat/feat__IFSeqSig.cmi
lib/feat/feat__IFSeqObj.cmx
lib/feat/feat__IFSeqObj.cmti
lib/feat/feat__IFSeqObj.cmt
lib/feat/feat__IFSeqObj.cmi
lib/feat/feat__IFSeqList.cmx
lib/feat/feat__IFSeqList.cmti
lib/feat/feat__IFSeqList.cmt
lib/feat/feat__IFSeqList.cmi
lib/feat/feat__IFSeq.cmx
lib/feat/feat__IFSeq.cmti
lib/feat/feat__IFSeq.cmt
lib/feat/feat__IFSeq.cmi
lib/feat/feat__Enum.cmx
lib/feat/feat__Enum.cmti
lib/feat/feat__Enum.cmt
lib/feat/feat__Enum.cmi
lib/feat/feat__Bigint.cmx
lib/feat/feat__Bigint.cmti
lib/feat/feat__Bigint.cmt
lib/feat/feat__Bigint.cmi
lib/feat/feat.ml
lib/feat/feat.cmxs
lib/feat/feat.cmxa
lib/feat/feat.cmx
lib/feat/feat.cmt
lib/feat/feat.cmi
lib/feat/feat.cma
lib/feat/feat.a
lib/feat/dune-package
lib/feat/bigint.mli
lib/feat/bigint.ml
lib/feat/META
lib/feat/IFSeqSyn.mli
lib/feat/IFSeqSyn.ml
lib/feat/IFSeqSig.ml
lib/feat/IFSeqObj.mli
lib/feat/IFSeqObj.ml
lib/feat/IFSeqList.mli
lib/feat/IFSeqList.ml
lib/feat/IFSeq.mli
lib/feat/IFSeq.ml
lib/feat/Enum.mli
lib/feat/Enum.ml
lib/feat
doc/feat/README.md
doc/feat/LICENSE.md
doc/feat