Differences

This shows you the differences between two versions of the page.

--- language:introduction [2022/05/13 08:30]
rajit
+++ language:introduction [2022/05/13 08:31] (current)
rajit
@@ Line 375: / Line 375: @@
   export namespace lib {
-       export defchan a1of2 = chan(bool) (bool d0,d1,a) { ... }
+       export defchan a1of2 <: chan(bool) (bool d0,d1,a) { ... }
   }