MlbendMetrics.mean: def of mlbend-metrics@0.1.0.0
Import: import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics
Lines 162-166 of mlbend-metrics@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-metrics@0.1.0.0/main.bend&start_line=162&end_line=166

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mlbend-metrics@0.1.0.0/main.bend&name=Sum