Generalize int-proxy keys and values to Copy + Ord - #891

Generalize int-proxy keys and values to Copy + Ord#891

frankmcsherry merged 1 commit into

master-nextTimelyDataflow/differential-dataflow:master-nextfrom

copy-proxy-typesTimelyDataflow/differential-dataflow:copy-proxy-typesCopy head branch name to clipboard