def St.total

bendtorch-load@1.3.0.0 · main.bend:426

import Base

426def St.total(es: List<&2, Entry>) -> U32:
427  match es:
428    case Nil{}: 0
429    case Con{Entry{n, sh}, t}: (St.prod(sh) + St.total(t) : U32)