Module FeatCore.IFSeqSig

module type IFSEQ_BASIC = sig ... end

A signature for implicit finite sequences.

module type IFSEQ_EXTENDED = sig ... end

This signature extends IFSEQ_BASIC with more operations.