Would partitionE be a better name for splitE? I'm thinking that splitE could be a more general function that doesn't chop off the right hand side of an event. My proposal, by example:<br><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;">partitionE [(0,()), (5,())]</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;"> [(2,()), (4,()), (6,()), (8,()), (10,())]</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;"> => [ (0, ((), [(2,()), (4,())] ))</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;"> , (5, ((), [(6,()), (8,()), (10,())]))</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;"> ]</span><br style="font-family: courier new,monospace;"><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">splitE [(0,()), (5,())]</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;"> [(2,()), (4,()), (6,()), (8,()), (10,())]</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;"> => [ (0, ((), [(2,()), (4,()), (6,()), (8,()), (10,())]))</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;"> , (5, ((), [(6,()), (8,()), (10,())]))</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;"> ]</span><br><br>Any objections?<br>
<br>David<br clear="all"><br>-- <br>David Sankel<br>