FeatCore.IFSeq
module Make (Z : BigIntSig.EXTENDED) (R : RandomSig.S) : IFSeqSig.IFSEQ_EXTENDED with type index = Z.t
Make
constructs an implementation of the signature IFSeqSig.IFSEQ_EXTENDED
. It is parameterized over an implementation of big integers and a random number generator.