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