def cesm3

bendtorch@1.3.0.0 · main.bend:3174

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3174def cesm3(+k: Nat, +off: U32, +m: F32, r: A2) -> CSM:
3175  match r:
3176    case A2{a, sc}:
3177      cesm4(k, off, m, tree_sum(U32.from_nat(1n+k), sc), a)

Uses (8)

Used by (1)

bendtorch@1.3.0.0/main:cesm_e