MlbendMetrics.sum_add: def of mlbend-metrics@0.1.0.0
Import: import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics
Lines 121-124 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=121&end_line=124

import Base

def sum_add(a: Sum, x: F32) -> Sum:
  match a:
    case Sum{n, s}:
      Sum{(1n + n : Nat), (s + x : 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.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=mlbend-metrics@0.1.0.0/main.bend&name=Sum