def inferred_count

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:82

import Base

82# How many sizes are Inferred.
83def inferred_count(extents: List<&2, Extent>) -> Nat:
84  match extents:
85    case Nil{}:
86      0n
87    case Exact{size} <> tail:
88      inferred_count(tail)
89    case Inferred{} <> tail:
90      1n+inferred_count(tail)