Module Feat.IFSeqSyn

module Make : functor (Z : sig ... end) -> IFSeqSig.IFSEQ with type index = Z.t