~/jendhub

def second_nat

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

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

1213def second_nat(values: List<&2, U32>) -> Nat:
1214  match values:
1215    case first <> second <> rest:
1216      U32.to_nat(second)
1217    case rest:
1218      0n

Uses (4)

Used by (1)