pub fn acquire_read_end<K, V, Pred: InvariantPredicate<K, V>>( pre: State<K, V, Pred>, ) -> State<K, V, Pred>