Changes between Version 85 and Version 86 of IR2

Timestamp:

05/12/21 07:19:34 (5 years ago)

Author:

Alex Wilton

Comment:

--

IR2

@@ -367 +367 @@
 
 <K,V> $bool $map_injective( $map<K,V> m ); // does m form an injection?
-<K,V> $map<K,V> $map_inverse( $map<K,V> m ); // returns the inverse map of m. Should check $map_injective first (what do we do when m is not injective?)
+<K,V> $map<V,K> $map_inverse( $map<K,V> m ); // returns the inverse map of m. Should check $map_injective first (what do we do when m is not injective?)
 
 <K,I,V> $map<K,V> $map_compose( $map<I,V> m2, $map<K,I> m1 ); // returns the composition m2.m1