def mark_all

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

import bendtorch-core@0.1.0.0/src/autograd/backward_LAWS.bend as BackwardLAWS

import Base

37def mark_all(ids: List<&2, Nat>, +count: Nat, flags: List<&2, Bool>) -> List<&2, Bool>:
38  match ids:
39    case Nil{}:
40      flags
41    case Con{+id, rest}:
42      mark_all(rest, count, mark(flags, count, id))

Uses (4)

Used by (3)