def first

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:4

import Base

4def first(-A: Data, values: List<&2, A>) -> Maybe<&2, A>:
5  match values:
6    case Nil{}:
7      None{}
8    case head <> tail:
9      Some{head}