package feat-core

  1. Overview
  2. Docs
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.