def b2u
import lawful-bytes@0.1.1.0/fast.bend as Fastimport Base
20def b2u(b: Bool) -> U32:
21 match b:
22 case True{}:
23 1
24 case False{}:
25 0
import lawful-bytes@0.1.1.0/fast.bend as Fastimport Base
20def b2u(b: Bool) -> U32:
21 match b:
22 case True{}:
23 1
24 case False{}:
25 0