Module Feat.IFSeqList

include IFSeqSig.IFSEQ with type index = int and type 'a seq = 'a list
type 'a seq = 'a list
val empty : 'a seq
val zero : 'a seq
val singleton : 'a -> 'a seq
val one : 'a -> 'a seq
val rev : 'a seq -> 'a seq
val sum : 'a seq -> 'a seq -> 'a seq
val (++) : 'a seq -> 'a seq -> 'a seq
val product : 'a seq -> 'b seq -> ('a * 'b) seq
val (**) : 'a seq -> 'b seq -> ('a * 'b) seq
val map : ('a -> 'b) -> 'a seq -> 'b seq
val up : int -> int -> int seq
type index = int
val length : 'a seq -> index
val get : 'a seq -> index -> 'a
val foreach : 'a seq -> ('a -> unit) -> unit
val to_seq : 'a seq -> 'a Stdlib.Seq.t -> 'a Stdlib.Seq.t