Changes between Version 84 and Version 85 of IR2

Timestamp:

05/12/21 07:15:08 (5 years ago)

Author:

Alex Wilton

Comment:

--

IR2

@@ -368 +368 @@
 <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,I,V> $map<K,V> $map_compose( $map<I,V> m2, $map<K,I> m1 ); // returns the composition m2.m1
 }}}