···

       
202
       
 
       
        ended: false,

     

       
203
       
 
       
      };

     

       
204
       
 
       


     

       
205
       
-
       
      let rec applyInnerSource = innerSource =>

     

       
0
       
 
       

     

       
206
       
 
       
        innerSource((. signal) =>

     

       
207
       
 
       
          switch (signal) {

     

       
208
       
 
       
          | Start(tb) =>

     

       
209
       
-
       
            state.innerActive = true;

     

       
210
       
 
       
            state.innerTalkback = tb;

     

       
211
       
 
       
            state.innerPulled = false;

     

       
212
       
 
       
            tb(. Pull);

     
···

       
231
       
 
       
          | End => ()

     

       
232
       
 
       
          }

     

       
233
       
 
       
        );

     

       
0
       
 
       

     

       
234
       
 
       


     

       
235
       
 
       
      source((. signal) =>

     

       
236
       
 
       
        switch (signal) {

     
···

       
822
       
 
       
        ended: false,

     

       
823
       
 
       
      };

     

       
824
       
 
       


     

       
825
       
-
       
      let applyInnerSource = innerSource =>

     

       
0
       
 
       

     

       
826
       
 
       
        innerSource((. signal) =>

     

       
827
       
-
       
          switch (signal) {

     

       
828
       
-
       
          | Start(tb) =>

     

       
829
       
-
       
            state.innerActive = true;

     

       
830
       
-
       
            state.innerTalkback = tb;

     

       
831
       
-
       
            state.innerPulled = false;

     

       
832
       
-
       
            tb(. Pull);

     

       
833
       
-
       
          | Push(_) when state.innerActive =>

     

       
834
       
-
       
            sink(. signal);

     

       
835
       
-
       
            if (!state.innerPulled) {

     

       
836
       
-
       
              state.innerTalkback(. Pull);

     

       
837
       
-
       
            } else {

     

       
838
       
 
       
              state.innerPulled = false;

     

       
839
       
-
       
            };

     

       
840
       
-
       
          | Push(_) => ()

     

       
841
       
-
       
          | End when state.innerActive =>

     

       
842
       
-
       
            state.innerActive = false;

     

       
843
       
-
       
            if (state.ended) {

     

       
844
       
 
       
              sink(. signal);

     

       
845
       
-
       
            } else if (!state.outerPulled) {

     

       
846
       
-
       
              state.outerPulled = true;

     

       
847
       
-
       
              state.outerTalkback(. Pull);

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
848
       
 
       
            };

     

       
849
       
-
       
          | End => ()

     

       
850
       
 
       
          }

     

       
851
       
 
       
        );

     

       
0
       
 
       

     

       
852
       
 
       


     

       
853
       
 
       
      source((. signal) =>

     

       
854
       
 
       
        switch (signal) {

     

···

       
202
       
 
       
        ended: false,

     

       
203
       
 
       
      };

     

       
204
       
 
       


     

       
205
       
+
       
      let rec applyInnerSource = innerSource => {

     

       
206
       
+
       
        state.innerActive = true;

     

       
207
       
 
       
        innerSource((. signal) =>

     

       
208
       
 
       
          switch (signal) {

     

       
209
       
 
       
          | Start(tb) =>

     

       
0
       
 
       

     

       
210
       
 
       
            state.innerTalkback = tb;

     

       
211
       
 
       
            state.innerPulled = false;

     

       
212
       
 
       
            tb(. Pull);

     
···

       
231
       
 
       
          | End => ()

     

       
232
       
 
       
          }

     

       
233
       
 
       
        );

     

       
234
       
+
       
      };

     

       
235
       
 
       


     

       
236
       
 
       
      source((. signal) =>

     

       
237
       
 
       
        switch (signal) {

     
···

       
823
       
 
       
        ended: false,

     

       
824
       
 
       
      };

     

       
825
       
 
       


     

       
826
       
+
       
      let applyInnerSource = innerSource => {

     

       
827
       
+
       
        state.innerActive = true;

     

       
828
       
 
       
        innerSource((. signal) =>

     

       
829
       
+
       
          if (state.innerActive) {

     

       
830
       
+
       
            switch (signal) {

     

       
831
       
+
       
            | Start(tb) =>

     

       
832
       
+
       
              state.innerTalkback = tb;

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
833
       
 
       
              state.innerPulled = false;

     

       
834
       
+
       
              tb(. Pull);

     

       
835
       
+
       
            | Push(_) =>

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
836
       
 
       
              sink(. signal);

     

       
837
       
+
       
              if (!state.innerPulled) {

     

       
838
       
+
       
                state.innerTalkback(. Pull);

     

       
839
       
+
       
              } else {

     

       
840
       
+
       
                state.innerPulled = false;

     

       
841
       
+
       
              };

     

       
842
       
+
       
            | End =>

     

       
843
       
+
       
              state.innerActive = false;

     

       
844
       
+
       
              if (state.ended) {

     

       
845
       
+
       
                sink(. signal);

     

       
846
       
+
       
              } else if (!state.outerPulled) {

     

       
847
       
+
       
                state.outerPulled = true;

     

       
848
       
+
       
                state.outerTalkback(. Pull);

     

       
849
       
+
       
              };

     

       
850
       
 
       
            };

     

       
0
       
 
       

     

       
851
       
 
       
          }

     

       
852
       
 
       
        );

     

       
853
       
+
       
      };

     

       
854
       
 
       


     

       
855
       
 
       
      source((. signal) =>

     

       
856
       
 
       
        switch (signal) {