~/jendhub

def without

cswap-bend-cli@0.1.0.0 · store/seq.bend:158

import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
import Base

158def without(+n: U32, +xs: List<&2, U32>) -> List<&2, U32>:
159  match xs:
160    case Nil{}:
161      []
162    case Con{h, t}:
163      without_pick(U32.is_eq(n, h), h, without(n, t))

Uses (4)

Used by (1)