def reorder_tail

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:47

import Base

47def reorder_tail(head: U32, result: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
48  match result:
49    case None{}:
50      None{}
51    case Some{tail}:
52      Some{head <> tail}