pub fn acquire_read_abandon<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
post: State<K, V, Pred>,
)
pub fn acquire_read_abandon<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
post: State<K, V, Pred>,
)