def without_keep

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/src/cache.bend:48

import Base

48def without_keep(h: String, tail: List<&2, String>, eq: Bool) -> List<&2, String>:
49  match eq:
50    case True{}:
51      tail
52    case False{}:
53      Con{h, tail}