def names.once.put

ezx@1.11.0.0 · src/lock/plan.bend:1235

import Base

1235# a name kept among the ones to ask about when it is not one already kept
1236def names.once.put(dup: Bool, +nv: String, rest: List<&2, String>) -> List<&2, String>:
1237  match dup:
1238    case True{}:
1239      rest
1240    case False{}:
1241      nv <> rest