Module `FeatCore.IFSeqSyn`

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