Bitwise

function and : 'a -> nat -> nat

'a can either be an int or nat.

A bitwise and operation.

const zero: nat = Bitwise.and(2n, 1n)

function or : nat -> nat -> nat

A bitwise or operation.

const three: nat = Bitwise.or(2n, 1n)

function xor : nat -> nat -> nat

A bitwise xor operation.

const three: nat = Bitwise.xor(2n, 1n)

function shift_left : nat -> nat -> nat

A bitwise shift left operation.

const four: nat = Bitwise.shift_left(2n, 1n)

function shift_right : nat -> nat -> nat

A bitwise shift right operation.

const one: nat = Bitwise.shift_right(2n, 1n)