Module Feat.IFSeqObj

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