def reached_chosen

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

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

69def reached_chosen(node: Backward.Node, +rest: List<&2, Backward.Node>, +below: Nat, rec: Unit -> List<&2, Bool>, selected: Bool) ->
70  List<&2, Bool>:
71  match selected:
72    case True{}:
73      reach(node <> rest, True{} <> falses(below), 1n+below)
74    case False{}:
75      False{} <> rec(Unit{})