Fixpoint v0.13.2

CPSolver.BitUtils (Fixpoint v0.13.2)

Link to this section Summary

Functions

bit_count(n)
lsb(n, method \\ :debruijn)
msb(n, method \\ :debruijn)

Link to this section Functions

Link to this function

bit_count(n)

Link to this function

lsb(n, method \\ :debruijn)

Link to this function

msb(n, method \\ :debruijn)