def tpl_total
import bend-prot@0.1.0.0/tpl.bend as Tplimport Base
55def tpl_total(+xs: List<&2, TplAtom>) -> List<&1, U32 & U32>:
56 match xs:
57 case Nil{}:
58 Nil{}
59 case h <> +t:
60 append_tpl(tpl_row(h, t), tpl_total(t))
import bend-prot@0.1.0.0/tpl.bend as Tplimport Base
55def tpl_total(+xs: List<&2, TplAtom>) -> List<&1, U32 & U32>:
56 match xs:
57 case Nil{}:
58 Nil{}
59 case h <> +t:
60 append_tpl(tpl_row(h, t), tpl_total(t))