Index of values

Convenience infix operator for Usane.Uint64.mul.

Convenience infix operator for Usane.Uint32.mul.

Convenience infix operator for Usane.Uint16.mul.

Convenience infix operator for Usane.Uint8.mul.

Convenience infix operator for Usane.Uint64.add.

Convenience infix operator for Usane.Uint32.add.

Convenience infix operator for Usane.Uint16.add.

Convenience infix operator for Usane.Uint8.add.

Convenience infix operator for Usane.Uint64.sub.

Convenience infix operator for Usane.Uint32.sub.

Convenience infix operator for Usane.Uint16.sub.

Convenience infix operator for Usane.Uint8.sub.

Convenience infix operator for a < b using Usane.Uint64.compare.

Convenience infix operator for a < b using Usane.Uint32.compare.

Convenience infix operator for a < b using Usane.Uint16.compare.

Convenience infix operator for a < b using Usane.Uint8.compare.

Convenience infix operator for a <= b using Usane.Uint64.compare.

Convenience infix operator for a <= b using Usane.Uint32.compare.

Convenience infix operator for a <= b using Usane.Uint16.compare.

Convenience infix operator for a <= b using Usane.Uint8.compare.

Convenience infix operator for a > b using Usane.Uint64.compare.

Convenience infix operator for a > b using Usane.Uint32.compare.

Convenience infix operator for a > b using Usane.Uint16.compare.

Convenience infix operator for a > b using Usane.Uint8.compare.

Convenience infix operator for a >= b using Usane.Uint64.compare.

Convenience infix operator for a >= b using Usane.Uint32.compare.

Convenience infix operator for a >= b using Usane.Uint16.compare.

Convenience infix operator for a >= b using Usane.Uint8.compare.

add t t' is (r, carry), where r is t + t' mod (2 ^ 64 - 1).

add t t' is (r, carry), where r is t + t' mod (2 ^ 32 - 1).

add t t' is (r, carry), where r is t + t' mod (2 ^ 16 - 1).

add t t' is (r, carry), where r is t + t' mod (2 ^ 8 - 1).

compare t t' is -1 if t is smaller than t',, 0 if t and t' are equal,, 1 if t is greater than t'.

compare t t' is -1 if t is smaller than t',, 0 if t and t' are equal,, 1 if t is greater than t'.

compare t t' is -1 if t is smaller than t',, 0 if t and t' are equal,, 1 if t is greater than t'.

compare t t' is -1 if t is smaller than t',, 0 if t and t' are equal,, 1 if t is greater than t'.

mul t t' is (r, carry), where r is t * t' mod (2 ^ 64 - 1).

mul t t' is (r, carry), where r is t * t' mod (2 ^ 32 - 1).

mul t t' is (r, carry), where r is t * t' mod (2 ^ 16 - 1).

mul t t' is (r, carry), where r is t * t' mod (2 ^ 8 - 1).

of_int i is the integer i converted to an unsigned 64 bit integer.

of_int i is the integer i converted to an unsigned 32 bit integer.

of_int i is the integer i converted to an unsigned 16 bit integer.

of_int i is the integer i converted to an unsigned 8 bit integer.

pp ppf u prints the unsigned 64bit integer in hex encoding.

pp ppf u prints the unsigned 32bit integer in hex encoding.

pp ppf u prints the unsigned 16bit integer in hex encoding.

pp ppf u prints the unsigned 8bit integer in hex encoding.

pred t is the predecessor of t: Usane.Uint64.sub t 1l.

pred t is the predecessor of t: Usane.Uint32.sub t 1l.

pred t is the predecessor of t: Usane.Uint16.sub t 1l.

pred t is the predecessor of t: Usane.Uint8.sub t 1l.

sub t t' is (r, carry), where r is t - t' mod (2 ^ 64 - 1).

sub t t' is (r, carry), where r is t - t' mod (2 ^ 32 - 1).

sub t t' is (r, carry), where r is t - t' mod (2 ^ 16 - 1).

sub t t' is (r, carry), where r is t - t' mod (2 ^ 8 - 1).

succ t is the successor of t: Usane.Uint64.add t 1l.

succ t is the successor of t: Usane.Uint32.add t 1l.

succ t is the successor of t: Usane.Uint16.add t 1l.

succ t is the successor of t: Usane.Uint8.add t 1l.

to_int t is the integer representation of t, encapsulated in Some.

to_int t is the integer representation of t, encapsulated in Some.