def weighted_of.go

mlbend-report@0.1.0.0 · main.bend:222

import Base

222def weighted_of.go(t: Tot, +total: Nat) -> Cls:
223  match t:
224    case Tot{p, r, f, support}:
225      +n = F32.from_nat(total)
226      Cls{divide(p, n), divide(r, n), divide(f, n), total}