···

       
10
       
 
       
        | Start(talkback) =>

     

       
11
       
 
       
          sink(.

     

       
12
       
 
       
            Start(

     

       
13
       
-
       
              (. signal) =>

     

       
14
       
 
       
                switch (signal) {

     

       
15
       
 
       
                | Close when ! ended^ =>

     

       
16
       
 
       
                  ended := true;

     

       
17
       
 
       
                  f(.);

     

       
18
       
-
       
                | Close => ()

     

       
19
       
-
       
                | Pull => talkback(. Pull)

     

       
20
       
-
       
                },

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
21
       
 
       
            ),

     

       
22
       
 
       
          )

     

       
23
       
 
       
        | End =>

     

···

       
10
       
 
       
        | Start(talkback) =>

     

       
11
       
 
       
          sink(.

     

       
12
       
 
       
            Start(

     

       
13
       
+
       
              (. signal) => {

     

       
14
       
 
       
                switch (signal) {

     

       
15
       
 
       
                | Close when ! ended^ =>

     

       
16
       
 
       
                  ended := true;

     

       
17
       
 
       
                  f(.);

     

       
18
       
+
       
                | Close

     

       
19
       
+
       
                | Pull => ()

     

       
20
       
+
       
                };

     

       
21
       
+
       


     

       
22
       
+
       
                talkback(. signal);

     

       
23
       
+
       
              },

     

       
24
       
 
       
            ),

     

       
25
       
 
       
          )

     

       
26
       
 
       
        | End =>