def prepend

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

import Base

152def prepend(-A: Type, head: A, result: Result<&2, &1, Error, List<&1, A>>) -> Result<&2, &1, Error, List<&1, A>>:
153  match result:
154    case Fail{error}:
155      Fail{error}
156    case Done{rest}:
157      Done{head <> rest}