# Functions
Ceil computes the ceiling of x/y for x, y being integers.
No description provided by the author
CheckedMultiply multiplies a and b and returns (truncate(a*b), no_overflow).
No description provided by the author
Log2Ceil computes the integer logarithm with ceiling for 64 bit unsigned ints.
No description provided by the author
Max returns the minimum value of inputs x, y.
Min returns the minimum value of inputs x, y.
# Variables
No description provided by the author