Skip to content

rw_lock: add Proper instances

Ralf Jung requested to merge ralf/rw_lock_proper into master

This was more tricky than it is for locks since the predicate is more higher-order... and since we usually avoid stating things with -n> when we can.

Merge request reports