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.
IFSEQ_BASIC