def sum_add

mlbend-metrics@0.1.0.0 · main.bend:121

import Base

121def sum_add(a: Sum, x: F32) -> Sum:
122  match a:
123    case Sum{n, s}:
124      Sum{(1n + n : Nat), (s + x : F32)}