def kept_append

bendtorch-core@0.1.0.0 · src/autograd/reduce_fiber_proof.bend:269

import Base

269def kept_append(+keep: Bool, +position: Nat, -xs: List<&2, Nat>, -ys: List<&2, Nat>) ->
270  {kept(keep, position, List.append(&2, Nat, xs, ys)) == List.append(&2, Nat, kept(keep, position, xs), ys) : List<&2, Nat>}:
271  match keep:
272    case True{}:
273      {==}
274    case False{}:
275      {==}