Differences

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

--- language:interface [2023/04/09 22:17] – [Parameter types] rajit
+++ language:interface [2023/04/09 22:56] – [Interfaces] rajit
@@ Line 15: / Line 15: @@
 Any process can export a list of interfaces.
 When a process exports an interface, it means that it has I/O ports that correspond to the names in the interface.
-The port names within the process need not match the port names in the interface; in the case when they don't match, a mapping can be provided as part of the interface export specification.
+The port names within the process need not match the port names in the interface; when an interface is exported, a mapping must be provided as part of the interface export specification.
 <code act>
 defproc proc1 (bool? a; bool! b)  :> linearchain { in -> a, out -> b }
 {
  ...