~/jendhub

def first_nat

bendtorch-core@0.1.0.0 · src/tensor/matmul_PROOF.bend:1206

import bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF.bend as MatmulPROOF
import Base

1206def first_nat(values: List<&2, U32>) -> Nat:
1207  match values:
1208    case first <> rest:
1209      U32.to_nat(first)
1210    case Nil{}:
1211      0n

Uses (4)

Used by (1)