def count

mlbend-metrics@0.1.0.0 · main.bend:43

import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics

import Base

43# the number of samples
44def count(ys: List<&2, Nat>) -> Nat:
45  match ys:
46    case Nil{}:
47      0n
48    case Con{h, t}:
49      (1n + count(t) : Nat)

Uses (3)

Used by (1)

mlbend-metrics@0.1.0.0/main:count_length