def St.prod

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad

import Base

421def St.prod(xs: List<&2, U32>) -> U32:
422  match xs:
423    case Nil{}: 1
424    case Con{x, t}: (x * St.prod(t) : U32)

Uses (3)