ilyagr/pijul - Change NUMESMN7JRZSQFKPPZBZKCNJALFM5PX4Y2YUUXXOU2VQHNTNEDPAC

Created by pmeunier on July 4, 2021

NUMESMN7JRZSQFKPPZBZKCNJALFM5PX4Y2YUUXXOU2VQHNTNEDPAC

main

B:BD[3.55422] → [2.70343:70447]

    /// Delete a key and a value from a graph. Returns `true` if and only if `(k, v)` was in the graph.

B:BD[2.103394] → [2.103394:103430]

                    || p.is_empty()

[2.103394]

[2.103430]

                    || (p.is_empty() && !e.flag().contains(EdgeFlags::PSEUDO))