def drop

bolt@1.27.0.0 · src/rules/table.bend:169

import Base

169# the names in scope without this one
170def drop(live: List<&2, String>, +nm: String) -> List<&2, String>:
171  match live:
172    case Nil{}:
173      []
174    case Con{+h, rest}:
175      +more = drop(rest, nm)
176      Bool.pick(List<&2, String>, String.eq(h, nm), more, h <> more)