def drop_slot_str

cswap-bend-cli@0.1.0.0 · switch.bend:98

import Base
import cswap-bend-cli@0.1.0.0/swbase.bend as B

98def drop_slot_str(+x: String, +xs: List<&2, String>) -> List<&2, String>:
99  match xs:
100    case Nil{}:
101      []
102    case Con{h, t}:
103      B.sel_ls(String.eq(h, x), drop_slot_str(x, t), h <> drop_slot_str(x, t))