operators: document and assert the ReduceTactic / JoinTactic contracts#789

frankmcsherry merged 1 commit into

TimelyDataflow:master-nextTimelyDataflow/differential-dataflow:master-nextfrom

frankmcsherry:tactic-contractsfrankmcsherry/differential-dataflow:tactic-contractsCopy head branch name to clipboard