def checked

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:902

import Base

902def checked(entries: List<&1, Entry>, +count: Nat, +output: Nat, known: Bool, sound: Bool) -> Tape & Result<&2, &2, Error, Unit>:
903  match known sound:
904    case False{} sound:
905      (Tape{entries}, Fail{UnknownNode{}})
906    case True{} False{}:
907      (Tape{entries}, Fail{DanglingOperand{}})
908    case True{} True{}:
909      ran(pass(entries, count, output, at_head(count, output)))