10 lines
No EOL
254 B
Text
10 lines
No EOL
254 B
Text
import "EMBED/u8_to_bits" as to_bits
|
|
|
|
def main(u8 i) -> field:
|
|
bool[8] bits = to_bits(i)
|
|
field res = 0
|
|
for u32 j in 0..8 do
|
|
u32 exponent = 8 - j - 1
|
|
res = res + if bits[j] then 2 ** exponent else 0 fi
|
|
endfor
|
|
return res |