Function hacspec_lib::prelude::U64_to_le_bytes
source · [−]Expand description
This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.