def marked

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

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

import Base

8def marked(flag: Bool, +rest: List<&2, Bool>, rec: Unit -> List<&2, Bool>, same: Bool) -> List<&2, Bool>:
9  match same:
10    case True{}:
11      True{} <> rest
12    case False{}:
13      flag <> rec(Unit{})

Uses (3)

Used by (2)