Examples
update previous sha example, to work with new module system
// description to be added later
// To create a smart contract for this Noir program, type `cargo run contract`
+use dep::std;
fn main(x : Witness,low : Public, _high: Public) {
// We use the `as` keyword here to denote the fact that we want to take just the first byte from the x Witness
