def show_list

bend-osdev-array@0.1.0.1 · check.bend:9

import Base

9def show_list(xs: List<U32>) -> String:
10  match xs:
11    case Nil{}:
12      ""
13    case Con{h, t}:
14      U32.show(h) ++ " " ++ show_list(t)