Function bin_to_gray
pub fn bin_to_gray<#uint N>(x: uint<N>) -> uint<N>Expand
Encodes the input number into Gray code.
Examples
assert bin_to_gray(0u2) == Gray([false, false]);
assert bin_to_gray(1u2) == Gray([ true, false]);
assert bin_to_gray(2u2) == Gray([ true, true]);
assert bin_to_gray(3u2) == Gray([false, true]);