def dead.old.keep

bend-kit-runner@0.13.0.1 · runner.bend:126

import Base

126def dead.old.keep(-A: Data, old: Bool, +i: Nat, rest: List<&2, Nat>) -> List<&2, Nat>:
127  match old:
128    case True{}:
129      Con{i, rest}
130    case False{}:
131      rest