~/jendhub

def touch_order

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

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cache
import Base

167def touch_order(order: List<&2, String>, +code: String, touch: Bool) -> List<&2, String>:
168  match touch:
169    case False{}:
170      order
171    case True{}:
172      List.append(&2, String, without(order, code), Con{code, Nil{}})

Uses (5)

Used by (1)