def u32_from_bytes_le
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
267def u32_from_bytes_le(bs: List<&2, U32>) -> Maybe<&2, U32>:
268 match bs:
269 case [+b0, +b1, +b2, +b3]:
270 from4(b0, b1, b2, b3)
271 case _:
272 None{}
Uses (4)
Used by (6)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fle1
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fle2
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fle3
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:fle4
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes:u32_from_le
- …