def picked

bendtorch-core@0.1.0.0 · src/autograd/backward.bend:60

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

import Base

60def picked(-A: Data, head: A, rec: Unit -> Maybe<&2, A>, same: Bool) -> Maybe<&2, A>:
61  match same:
62    case True{}:
63      Some{head}
64    case False{}:
65      rec(Unit{})

Uses (3)

Used by (3)