feat-core
Facilities for enumerating and sampling algebraic data types
1024">
IN THIS PACKAGE
-
library feat-core
-
module FeatCore
-
module IFSeqList
-
module IFSeqSig
-
module type IFSEQ_BASIC
-
module type IFSEQ_EXTENDED
-
-
module RandomBigInt
-
Libraries
This package provides the following libraries (via dune):
feat-core
Documentation:
FeatCore.BigIntSig
FeatCore.Enum
FeatCore.EnumSig
FeatCore.IFSeq
FeatCore.IFSeqList
FeatCore.IFSeqObj
FeatCore.IFSeqSig
FeatCore.IFSeqSyn
FeatCore.RandomBigInt
FeatCore.RandomSig
Dependencies: seq, fix