def tot_add

mlbend-report@0.1.0.0 · main.bend:177

import Base

177# One class more, added into the sums.
178def tot_add(t: Tot, c: Cls) -> Tot:
179  match t:
180    case Tot{p, r, f, support}:
181      match c:
182        case Cls{p2, r2, f2, support2}:
183          Tot{(p + p2 : F32), (r + r2 : F32), (f + f2 : F32), (support + support2 : Nat)}