MlbendReport.tot_add: def of mlbend-report@0.1.0.0
Import: import mlbend-report@0.1.0.0/main.bend as MlbendReport
Lines 177-183 of mlbend-report@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-report@0.1.0.0/main.bend&start_line=177&end_line=183

import Base

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

Uses (6):
  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-report@0.1.0.0/main.bend&name=Cls
  https://jend.leeeet.dev/definition.txt?path=mlbend-report@0.1.0.0/main.bend&name=Tot