Changes between Version 62 and Version 63 of IR2

Timestamp:

05/02/21 16:04:06 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -275 +275 @@
 === `seq.cvh` ===
 
-Should these be language primitives or library functions (or does it matter)?
-
-* need concrete sequence
-
-{{{
-<T> $seq<T> $seq_add( $seq<T> a, T e); // sequence obtained by adding element e to the end of a
-<T> $seq<T> $seq_append($seq<T> a1, $seq<T> a2); //  sequence obtained by concatenating a1 and a2
-<T> $seq<T> $seq_remove($seq<T> a, $int i); // sequence obtained by removing element at position i from a
-<T> $seq<T> $seq_insert($seq<T> a, $int i, T x); // sequence obtained by inserting element x at position i in a
-<T> $int $seq_length($seq<T> a); // length of a
+{{{
+<T> $int $seq_length( $seq<T> a ); // length of a
+<T> T $seq_get( $seq<T> a, $int i ); // get element i of a
+<T> $seq<T> $seq_subseq( $seq<T> a, $int start, $int stop ); // subsequence from start to stop-1
+<T> $seq<T> $seq_add( $seq<T> a, T e ); // sequence obtained by adding element e to the end of a
+<T> $seq<T> $seq_append( $seq<T> a1, $seq<T> a2 ); //  sequence obtained by concatenating a1 and a2
+<T> $seq<T> $seq_remove( $seq<T> a, $int i ); // sequence obtained by removing element at position i from a
+<T> $seq<T> $seq_insert( $seq<T> a, $int i, T x ); // sequence obtained by inserting element x at position i in a
 }}}
 
 === `set.cvh` ===
 
-* concrete set
 * add an element to a set
 * test if an element is in a set