Changes between Version 119 and Version 120 of IR2

Timestamp:

06/04/21 10:01:41 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -423 +423 @@
 === `seq.cvh` ===
 
+The domain of `$seq<T>` consists of all finite sequences of values of type `T`.
+
 {{{
 <T> $int $seq_length( $seq<T> a ); // length of a
@@ -439 +441 @@
 === `set.cvh` ===
 
+The domain of `$set<T>` consists of all finite sets of values of type `T`.
+
+
 {{{
 <T> $int $set_size( $set<T> s ); // number of elements in s
@@ -452 +457 @@
 
 === `map.cvh` ===
+
+The domain of `$map<K,V>` consists of all finite sets M of ordered pairs (k,v), where k is in K and v is in V, and satisfying: for all k in K there is at most one v in V such that (k,v) is in M.
+
 
 {{{