1.5 KiB
1.5 KiB
id | title | description | hide_table_of_contents |
---|---|---|---|
bitwise-reference | Bitwise | Operations on bytes | true |
import Syntax from '@theme/Syntax'; import SyntaxTitle from '@theme/SyntaxTitle';
function and : nat -> nat -> nat val and : nat -> nat -> nat let and: (nat, nat) -> natA bitwise and
operation.
A bitwise or
operation.
A bitwise xor
operation.
A bitwise shift left operation.
function shift_right : nat -> nat -> nat val shift_right : nat -> nat -> nat let shift_right: (nat, nat) -> natA bitwise shift right operation.