···

       
124
       
 
       
            | Close when !state.ended =>

     

       
125
       
 
       
              state.ended = true;

     

       
126
       
 
       
              state.talkback(. Close);

     

       
0
       
 
       

     

       
127
       
 
       
            | Pull when !state.ended => state.talkback(. Pull)

     

       
128
       
 
       
            | Pull => ()

     

       
129
       
 
       
            },

     

···

       
124
       
 
       
            | Close when !state.ended =>

     

       
125
       
 
       
              state.ended = true;

     

       
126
       
 
       
              state.talkback(. Close);

     

       
127
       
+
       
            | Close => ()

     

       
128
       
 
       
            | Pull when !state.ended => state.talkback(. Pull)

     

       
129
       
 
       
            | Pull => ()

     

       
130
       
 
       
            },

     

···

       
71
       
 
       
                state.ended = true;

     

       
72
       
 
       
                state.sourceTalkback(. Close);

     

       
73
       
 
       
                state.notifierTalkback(. Close);

     

       
74
       
-
       
              | Pull =>

     

       
75
       
-
       
                if (!state.pulled) {

     

       
76
       
-
       
                  state.pulled = true;

     

       
77
       
-
       
                  state.sourceTalkback(. Pull);

     

       
78
       
-
       
                  state.notifierTalkback(. Pull);

     

       
79
       
-
       
                }

     

       
80
       
 
       
              | Pull => ()

     

       
81
       
 
       
              };

     

       
82
       
 
       
            },

     

···

       
71
       
 
       
                state.ended = true;

     

       
72
       
 
       
                state.sourceTalkback(. Close);

     

       
73
       
 
       
                state.notifierTalkback(. Close);

     

       
74
       
+
       
              | Pull when !state.pulled =>

     

       
75
       
+
       
                state.pulled = true;

     

       
76
       
+
       
                state.sourceTalkback(. Pull);

     

       
77
       
+
       
                state.notifierTalkback(. Pull);

     

       
0
       
 
       

     

       
0
       
 
       

     

       
78
       
 
       
              | Pull => ()

     

       
79
       
 
       
              };

     

       
80
       
 
       
            },