Module `FeatCore.IFSeqObj`

module Make (Z : BigIntSig.BASIC) : IFSeqSig.IFSEQ_BASIC with type index = Z.t