Module FeatCore.IFSeq

Make constructs an implementation of the signature IFSeqSig.IFSEQ_EXTENDED. It is parameterized over an implementation of big integers and a random number generator.