def List.filter.put

Base · base.bend:1056

1056def List.filter.put(-A: Data, h: A, r: List<&2, A>, keep: Bool) -> List<&2, A>:
1057  match keep:
1058    case False{}:
1059      r
1060    case True{}:
1061      h <> r