Document various trait invariants / requirements

TimelyDataflow / timely-dataflow

A modular implementation of timely dataflow in Rust

MIT License

3.25k stars 272 forks source link

Document various trait invariants / requirements #516

Open bkirwi opened 1 year ago

bkirwi commented 1 year ago

Some of these I have picked up in conversation; others come from documenting what the code seems to assume. Happy to be corrected if I got something wrong!