def Cryptlib.Util.UInt64.UInt64.test_bit (bit : Nat) (x : UInt64) : Bool

Equations

• Cryptlib.Util.UInt64.UInt64.test_bit bit x = ((1 <<< bit).toUInt64 &&& x != 0)

def Cryptlib.Util.UInt64.UInt64.swap_endian (x : UInt64) : UInt64

Equations

• One or more equations did not get rendered due to their size.

def Cryptlib.Util.UInt64.UInt64.ror (x : UInt64) (n : Nat) : UInt64

Equations

• Cryptlib.Util.UInt64.UInt64.ror x n = x >>> UInt64.ofNat n ||| x <<< UInt64.ofNat (64 - n)

def Cryptlib.Util.UInt64.UInt64.of_be64 (b7 b6 b5 b4 b3 b2 b1 b0 : UInt8) : UInt64

Equations

• One or more equations did not get rendered due to their size.

def Cryptlib.Util.UInt64.UInt64.to_le (x : UInt64) : ByteArray

Equations

• One or more equations did not get rendered due to their size.

def Cryptlib.Util.UInt64.UInt64.to_be (x : UInt64) : ByteArray

Equations

• One or more equations did not get rendered due to their size.