def macro_of.go

mlbend-report@0.1.0.0 · main.bend:200

import Base

200def macro_of.go(t: Tot, +k: Nat) -> Cls:
201  match t:
202    case Tot{p, r, f, support}:
203      +n = F32.from_nat(k)
204      Cls{divide(p, n), divide(r, n), divide(f, n), support}