A well-ordered relation for "upwards" induction on the natural numbers up to some bound ub
.
Instances For
A terminal byte slice, a suffix of a byte array.
Instances For
The number of elements in the byte slice.
Instances For
Index into a byte slice. The getOp
function allows the use of the buf[i]
notation.
Instances For
Convert a byte array into a terminal slice.
Instances For
Convert a byte slice into an array, by copying the data if necessary.
Instances For
The inner loop of the forIn
implementation for byte slices.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Convert a terminal byte slice into a regular byte slice.
Instances For
Convert a byte array into a byte slice.
Instances For
Convert a string of assumed-ASCII characters into a byte array. (If any characters are non-ASCII they will be reduced modulo 256.)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Convert a byte slice into a string. This does not handle non-ASCII characters correctly: every byte will become a unicode character with codepoint < 256.