package rfsm

of_int s n returns the bit-level representation of nsigned integer n as a string of length s

get_bits hi lo n returns the integer represented by the bits ranging from hi to lo in integer n. Example: get_bits ~hi:3 ~lo:1 13 returns 6.

set_bits hi lo dst v returns the integer obtained by setting the bits ranging from hi to lo in integer n to v. Example: set_bits ~hi:3 ~lo:1 ~dst:0 7 returns 14.