def checked

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

import Base

203def checked(+graph: List<&2, Node>, +count: Nat, +output: Nat, known: Bool, sound: Bool) ->
204  Result<&2, &2, Error, List<&2, Maybe<&2, F32>>>:
205  match known sound:
206    case False{} sound:
207      Fail{UnknownNode{}}
208    case True{} False{}:
209      Fail{DanglingOperand{}}
210    case True{} True{}:
211      Done{pass(graph, count, output)}