When you write this code:
OperatorEdges(src, dest) :-
ChannelsEvent(src_id, dest_id, scope_addr),
[..scope_addr, src_id] == src,
[..scope_addr, dest_id] == dest.
Is this intended as pseudo-code, or is this real code for a language within Timely Dataflow, or is this a differential-datalog?
It’s pretty much ddlog code, I just added the splat patterns ([..scope_addr]) since it’s easier to write and understand