Function choice_from_le 

pub(crate) const fn choice_from_le(x: Word, y: Word) -> Choice

Returns the truthy value if x <= y and the falsy value otherwise.