def u32_to_bytes_be
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
246def u32_to_bytes_be(+x: U32) -> List<&2, U32>:
247 [byte32(x, 3n), byte32(x, 2n), byte32(x, 1n), byte32(x, 0n)]
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
246def u32_to_bytes_be(+x: U32) -> List<&2, U32>:
247 [byte32(x, 3n), byte32(x, 2n), byte32(x, 1n), byte32(x, 0n)]