def mean

mlbend-metrics@0.1.0.0 · main.bend:162

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

import Base

162# the mean of a sum over n pairs
163def mean(s: Sum, n: Nat) -> F32:
164  match s:
165    case Sum{n0, s0}:
166      (s0 / F32.from_nat(n) : F32)

Uses (5)

Used by (3)