def u32_from_bytes_be
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
274def u32_from_bytes_be(bs: List<&2, U32>) -> Maybe<&2, U32>:
275 match bs:
276 case [+b3, +b2, +b1, +b0]:
277 from4(b0, b1, b2, b3)
278 case _:
279 None{}
Uses (4)
Used by (6)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fbe1
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fbe2
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fbe3
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fbe4
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:u32_from_be
- …