def St.show_u
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
437def St.show_u(xs: List<&2, U32>, sep: String) -> String:
438 match xs:
439 case Nil{}: ""
440 case Con{x, t}: sep ++ U32.show(x) ++ St.show_u(t, ", ")
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
437def St.show_u(xs: List<&2, U32>, sep: String) -> String:
438 match xs:
439 case Nil{}: ""
440 case Con{x, t}: sep ++ U32.show(x) ++ St.show_u(t, ", ")