def sumd2_extend
import bend-prot@0.1.0.0/topology.bend as Topologyimport Base
56def sumd2_extend(a: F32, rest: F32 & Nat) -> F32 & Nat:
57 match rest:
58 case (s, n):
59 ((a + s : F32), 1n+n)
import bend-prot@0.1.0.0/topology.bend as Topologyimport Base
56def sumd2_extend(a: F32, rest: F32 & Nat) -> F32 & Nat:
57 match rest:
58 case (s, n):
59 ((a + s : F32), 1n+n)