def prepend_naturals

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:271

import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

271def prepend_naturals(+head: Maybe<&2, U32>, +tail: Maybe<&2, List<&2, U32>>) ->
272  {natural_values(Axis.prepend(U32, head, tail)) == Axis.prepend(Nat, natural_value(head), natural_values(tail)) : Maybe<&2, List<&2, Nat>>}:
273  match head tail:
274    case None{} None{}:
275      {==}
276    case None{} Some{items}:
277      {==}
278    case Some{value} None{}:
279      {==}
280    case Some{value} Some{items}:
281      {==}