def remove

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/cache.bend:100

import Base

100def remove(-K: Data, -V: Data, encode: K -> String, +c: Cache<K, V>, key: K) -> Step<K, V>:
101  remove_encoded(K, V, c, encode(key), False{})