Bitwise
let and : (a: 'a, b: nat) => nat
'a
can either be an int
or nat
.
It can also be used with bytes
. But the signature might be a bit different.
val and : bytes -> bytes -> bytes
A bitwise and
operation.
Input
Output
let or: (a: nat, b: nat) => nat
A bitwise or
operation.
It can also be used with bytes
. But the signature might be a bit different.
val or : bytes -> bytes -> bytes
Input
Output
let xor: (a: nat, b: nat) => nat
A bitwise xor
operation.
It can also be used with bytes
. But the signature might be a bit different.
val xor : bytes -> bytes -> bytes
Input
Output
let shift_left: (a: nat, b: nat) => nat
A bitwise shift left operation.
It can also be used with bytes
. But the signature might be a bit different.
val shift_left : bytes -> nat -> bytes
Input
Output
let shift_right: (a: nat, b: nat) => nat
A bitwise shift right operation.
It can also be used with bytes
. But the signature might be a bit different.
val shift_right : bytes -> nat -> bytes
Input
Output