def show_val
import bend-osdev-algo@0.1.0.0/check.bend as Checkimport Base
21def show_val(r: Array<U32> & U32) -> String:
22 (a, x) = r
23 U32.show(x)
import bend-osdev-algo@0.1.0.0/check.bend as Checkimport Base
21def show_val(r: Array<U32> & U32) -> String:
22 (a, x) = r
23 U32.show(x)