def kept_shift

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

import Base

583def kept_shift(+keep: Bool, +base: Nat, +x: Nat, +rest: List<&2, Nat>) ->
584  {kept(keep, Nat.add(base, x), shift(base, rest)) == shift(base, kept(keep, x, rest)) : List<&2, Nat>}:
585  match keep:
586    case True{}:
587      {==}
588    case False{}:
589      {==}