~/jendhub

def extra_names

cswap-bend-cli@0.1.0.0 · profile.bend:144

import cswap-bend-cli@0.1.0.0/profile.bend as Profile
import Base

144def extra_names(+ks: List<&2, String>) -> List<&2, String>:
145  match ks:
146    case Nil{}:
147      []
148    case Con{k, t}:
149      extra_keep(is_builtin(k), k, extra_names(t))

Uses (4)

Used by (1)