def head_cols

bendtorch@1.3.0.0 · main.bend:2551

import Base

2551def head_cols(+dm: Dm, +hi: Nat) -> HC:
2552  match dm:
2553    case Dm{+t, +g, +hd, +w, +kvw, +sc}:
2554      HC{U32.from_nat(Nat.mul(hi, hd)), U32.from_nat(Nat.mul(kv_of(hi, g), hd))}