def mark

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:15

import Base

15def mark(flags: List<&2, Bool>, +count: Nat, +target: Nat) -> List<&2, Bool>:
16  match flags count:
17    case Nil{} count:
18      Nil{}
19    case Con{flag, rest} 0n:
20      flag <> rest
21    case Con{flag, +rest} 1n+below:
22      marked(flag, rest, unit => mark(rest, below, target), Nat.is_eq(below, target))