Module Feat.IFSeqSig

module type IFSEQ = sig ... end